Inner Model

An inner model of a set-theoretic universe is a transitive class that contains all the ordinals and satisfies the axioms of the theory. The constructible universe L is the smallest inner model of ZF, and its existence proves that the Axiom of Choice and the Continuum Hypothesis are consistent with ZF. But inner models are not merely consistency tools. They are canonical approximations to the full universe — minimal structures that capture as much of set-theoretic reality as possible while remaining tractable.

The inner model program searches for canonical inner models that accommodate large cardinals — enormous cardinalities whose existence implies the consistency of weaker axioms. Each large cardinal requires a more complex inner model: L[U] for measurable cardinals, Steel's core models for Woodin cardinals, and beyond. The program's goal is to show that even the strongest large cardinals can be captured in canonical structures, or to prove that they cannot — which would mean the universe is fundamentally non-canonical.

The inner model program is not a search for the true universe. It is a search for the minimal universe that can accommodate what we believe to be true. The question is whether minimality is a virtue or a limitation — and whether the real universe, if there is one, cares about canonicity at all.