Laverfunktion

Laverfunktion är ett begrepp inom mängdteori, uppkallat efter Richard Laver som upptäckte funktionen relaterad till ett superkompakt kardinaltal.

Om κ är ett superkompakt kardinaltal, är en Laverfunktion en funktion ƒ:κ → V_κ så att för varje mängd x och varje kardinaltal λ ≥ |TC(x)| + κ finns det ett superkompakt mått U på [λ]^<κ så att om j _U är den associerade elementära inbäddningen, då är j _U(ƒ)(κ) = x. (Här betecknar V_κ kumulativa hierarkin av nivå κ, och TC(x) är transitiva höljet av x)

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Laver function, 26 februari 2015.

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