Explore relationships

Inner model

In set theory, a branch of mathematical logic, an inner model for a theoryT is a substructure of a modelM of a set theory that is both a model for T and contains all the ordinals of M. DefinitionLet L = ⟨∈⟩ be the language of set theory.

Use + to expand a branch. Click a topic name to open its summary.