Models and Consistency Summary

Set Theory · Axiom Academy

SUMMARY Models and Consistency The big picture of set-theoretic foundations, what we can prove, and what remains independent. Definition: The universe of sets is built in stages indexed by ordinals: V₀ = ∅, V α+1 = P(V α ), and V λ = ⋃ β<λ V β at limits Key Property: Every set appears at some level V α , and each level is transitive Rank: The rank of a set is the smallest ordinal α such that the set first appears in V α+1 Why It Matters: This hierarchical picture provides a foundation for all of mathematics and avoids paradoxes like Russell's paradox Definition: A model is a structure (M, ∈ M ) where all ZFC axioms are true when interpreted in that structure Inner Models: Transitive classes containing all ordinals where ZFC holds (like Gödel's L) Löwenheim-Skolem: If ZFC has a model, it has a countable model—surprising but fundamental Why It Matters: Understanding models helps us explore what ZFC can and cannot prove ✓ The Continuum Hypothesis holds ✓ The Generalized Continuum Hypothesis holds What Independence Means: A statement φ is independent of ZFC if neither φ nor ¬φ can be proved from ZFC (assuming ZFC is consistent) Gödel's Contribution (1938): Showed that AC and CH are consistent with ZF by proving they hold in the constructible universe L Cohen's Contribution (1963): Developed forcing to construct models where ¬CH holds, proving CH is independent of ZFC

This is the written version of the interactive lesson above. See the full Set Theory course.