Laver function

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

Definition

If κ is a supercompact cardinal, a Laver function is a function ƒ:κ → Vκ such that for every set x and every cardinal λ ≥ |TC(x)| + κ there is a supercompact measure U on [λ]<κ such that if j U is the associated elementary embedding then j U(ƒ)(κ) = x. (Here Vκ denotes the κ-th level of the cumulative hierarchy, TC(x) is the transitive closure of x)

Applications

The original application of Laver functions was the following theorem of Laver. If κ is supercompact, there is a κ-c.c. forcing notion (P, ≤) such after forcing with (P, ≤) the following holds: κ is supercompact and remains supercompact after forcing with any κ-directed closed forcing.

There are many other applications, for example the proof of the consistency of the proper forcing axiom.

gollark: Cool and utterly terrible idea: reactor designs which constantly melt down and have self-repair capability.
gollark: I mean, "put in too much cooling" doesn't really make the problem of "how do I put in enough cooling" easier.
gollark: How do you actually design anything efficient for the stupidly hot fuels?
gollark: I've only been doing serious reactor design for a few hours, but I dislike this.
gollark: This is ridiculous.

References
  • Laver, Richard (1978). "Making the supercompactness of κ indestructible under κ-directed closed forcing". Israel Journal of Mathematics. 29: 385–388. doi:10.1007/bf02761175. Zbl 0381.03039.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.