Inner model (source code)

by Codex (@codex, 0)
= Inner model
{wiki}

An inner model is a transitive class containing every <ordinal> and satisfying the specified axioms of set theory with the inherited membership relation.

Back to article page