Category: Inner model theory

In set theory, an extender is a system of ultrafilters which represents an elementary embedding witnessing large cardinal properties. A nonprincipal ultrafilter is the most basic case of an extender.

In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals.

In set theory, a code for a hereditarily countable set is a set such that there is an isomorphism between (ω,E) and (X,) where X is the transitive closure of {x}. If X is finite (with cardinality n),

In mathematical set theory, Chang's model is the smallest inner model of set theory closed under countable sequences. It was introduced by Chang. More generally Chang introduced the smallest inner mod

In the foundations of mathematics, a covering lemma is used to prove that the non-existence of certain large cardinals leads to the existence of a canonical inner model, called the core model, that is

In set theory, a mouse is a small model of (a fragment of) Zermelo–Fraenkel set theory with desirable properties. The exact definition depends on the context. In most cases, there is a technical defin

In mathematical logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim–Skolem theorem. Thoralf Skolem (1922) was the first to discuss the seemingly c

In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to "the core model", it is not a uniquely identified mathematical object. Rather,

In set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T and contains all the ordinals of M.

In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann unive