Revision #754 → #1114 · back to history
addedL is an inner model of ZF128cf6b10187
addedAC and GCH hold in Lf63a31d4142a
addedDef operator6717111760c0
addedConstructible hierarchy L_α0f504191d4f8
addedL_α is a tower of nested transitive sets22d948df3454
addedConstructible sets and constructible universee244e9951fa7
addedAxiom of constructibility (V = L)c6c0f8b5b63c
addedEquivalent definition of L_α1702627d3ffe
addedL_n equals V_n for finite n (hereditarily finite sets)cc437d3d1808
addedConstructible bijection between α and L_α9735189e8438
addedL_α via Σ_0 formulas (Lévy hierarchy)ef14d578fad9
addedGödel's nine-function characterization of L_α86a3b3aabdbb
addedArithmetical subsets of ω lie in L_{ω+1}b941db6d4068
addedHyperarithmetical subsets characterized via L263edab70795
addedL is a standard transitive inner modelf88132524815
addedAxiom of regularity holds in L9ea97a48f919
addedAxiom of extensionality holds in L15dfe108696c
addedAxiom of empty set holds in Lc2a1b877b63e
addedAxiom of pairing holds in L4efcd339d513
addedAxiom of union holds in Lfc18b48fba58
addedAxiom of infinity holds in Ldc49114d1b6c
addedAxiom of separation holds in L15b5b5e08161
addedAxiom of replacement holds in L7fc2f63b6ceb
addedAxiom of power set holds in L6a5f38944375
addedAxiom of choice holds in L448b1da7f05f
addedAbsoluteness of L between standard models of ZF46eb041dfe7a
addedL is the smallest inner model of ZF containing all ordinalsa8a91d89e4a8
addedMinimal model of ZFCcef9695385c9
addedThe minimal model is countable372f477431ff
addedV = L holds in L but not in other standard models365a7949d4b8
addedLarge cardinal properties weaker than 0# are retained in L408fb8654125
addedLarge cardinals implying ¬V=L fail in La5819771cd70
added0# yields a class of order-indiscernibles in La760e9649e92
addedL admits a definable well-orderingd058cd52382c
addedWell-ordering of L gives the axiom of global choicef5b4be0aca58
addedReflection principle for Lc117db9380e6
addedGeneralized continuum hypothesis holds in L931697e59de0
addedEvery constructible set is definable from ordinal parameterscbe83017c512
addedConstructible set {5, ω}34d96ec91358
addedRelative constructible class L(A)08fb7a99a4ef
addedTransfinite recursive definition of L(A)f765d67ac3ce
addedWell-ordering of L(A) and failure of AC84aeaf1e2cf3
addedL(R): the smallest model containing all reals804ad25ff22e
addedRelative constructible class L[A]9de84d0e773f
addedL[A] is always a model of the axiom of choicebb0464b56038