Constructible Universe

Origin. Gödel (1938). The inner model L, built by iterating first-order definability. Established the consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with ZF.

Models. L is the cumulative hierarchy admitting only definable subsets at each stage. It is the minimal inner model of ZF and satisfies its own defining axiom V = L.

Formalism.

Definable power set: Def(X) = subsets of X definable with parameters over (X, ∈).

Hierarchy: L₀ = ∅. L_{α+1} = Def(L_α). L_λ = ⋃{α<λ} L_α (λ limit). L = ⋃{α ∈ Ord} L_α.

Gödel's theorem: L ⊨ ZFC + GCH + (V = L). Choice and GCH hold in L.

Condensation lemma: Elementary submodels of L_α collapse to some L_β. Drives GCH and the diamond principle ◊.

Global structure: L has a definable Σ₁ well-ordering. Fine structure (Jensen): ◊, □ principles hold.

Large cardinals: V = L excludes measurable and larger cardinals. 0# does not exist under V = L.

Symbols.

Symbol	Unicode	Name	Meaning
◊	U+25CA	Lozenge / Diamond principle	Jensen's guessing principle, provable in L
□	U+25A1	White square / Square principle	Jensen's coherent-sequence principle, provable in L
∅	U+2205	Empty set	Bottom of the hierarchy, L₀
∈	U+2208	Element of	Membership, the only primitive
⋃	U+22C3	N-ary union	Union at limit stages
⊨	U+22A8	Satisfaction	L ⊨ ZFC + GCH
⟹	U+27F9	Implies	Relative consistency implication
¬	U+00AC	Negation	As in Con(ZFC + ¬CH)
Σ	U+03A3	Sigma	Levy- and projective-hierarchy class of the well-ordering
Π	U+03A0	Pi	Dual class in the projective hierarchy
Δ	U+0394	Delta	Sets both Σ and Π at a level
κ	U+03BA	Kappa	An uncountable cardinal
≠	U+2260	Not equal to	V ≠ L
≤	U+2264	Less than or equal	Ordinal comparison β ≤ α
α	U+03B1	Alpha	Ordinal index of a level
β	U+03B2	Beta	Collapsed index in the condensation lemma
λ	U+03BB	Lambda	Limit ordinal
L	—	Constructible universe	Gödel's minimal inner model
L_α	—	Level α	Stage of the constructible hierarchy
Def	—	Definable power set	First-order definable subsets with parameters
V=L	—	Axiom of constructibility	Every set is constructible
0#	—	Zero sharp	Real coding indiscernibles for L; its existence refutes V = L
j	—	Elementary embedding	As in j: L → L, whose existence is equivalent to 0#

Metatheory. Gödel, "The consistency of the axiom of choice and of the generalized continuum-hypothesis" (PNAS, 1938), showed L ⊨ ZFC + GCH inside any model of ZF, giving Con(ZF) ⟹ Con(ZFC + GCH). L is Σ₁-definable and absolute for transitive models containing all the ordinals, so L^M = L for every inner model M and L is the smallest such model; in particular forcing cannot change it. The condensation lemma — an elementary submodel of L_α collapses to some L_β with β ≤ α — is what yields GCH and Jensen's ◊. Jensen's fine structure (1972) gives □_κ at every uncountable cardinal κ and ◊_κ at every regular uncountable κ, hence Souslin trees, so Souslin's Hypothesis fails in L. Gödel's Σ¹₂ well-ordering of the reals produces a Δ¹₂ non-measurable set and a Π¹₁ set without the perfect set property. Scott (1961) proved that a measurable cardinal implies V ≠ L. Jensen's covering lemma (1974) shows that if 0# does not exist, every uncountable set of ordinals is covered by a constructible set of the same cardinality, which forces the singular cardinals hypothesis.

Applies to. Relative-consistency proofs. Inner model theory. Descriptive set theory (under V = L). Cardinal arithmetic.

Limitations. V = L is refuted by the large cardinals set theorists actually assume: a measurable cardinal implies V ≠ L (Scott), and the existence of 0# — equivalently, by Kunen's theorem, a nontrivial elementary embedding j: L → L — makes every uncountable cardinal inaccessible in L. Only the small ones survive downward absoluteness: inaccessible, Mahlo, and weakly compact cardinals remain such in L, measurable and above do not. The model is also descriptively impoverished. The Σ¹₂ well-ordering of the reals kills the regularity properties of projective sets, and analytic determinacy fails outright, since it is equivalent to the existence of sharps. Because L is absolute, it can prove only one direction of an independence result; the complementary consistency must come from forcing. And no analogous canonical inner model is known at the level of supercompact cardinals, so the technique does not scale up the large-cardinal hierarchy.