Making the supercompactness of κ indestructible under κ-directed closed forcing

Richard Laver

Richard Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory.

Laverfunktion

Inom mngdteori r en Laverfunktion, uppkallat efter Richard Laver som upptckte dem, en funktion relaterad till ett superkompakt kardinaltal.

Laver function

In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.