Laverfunktion

Inom mängdteori är en Laverfunktion, uppkallat efter Richard Laver som upptäckte dem, en funktion relaterad till ett superkompakt kardinaltal.

Definition

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)

Källor

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.