set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...

, a standard model for a

theory A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may ...

T

is a model

M

for

T

where the membership relation

\in_M

is the same as the membership relation

\in

of the set theoretical

universe The universe is all of space and time and their contents, including planets, stars, galaxies, and all other forms of matter and energy. The Big Bang theory is the prevailing cosmological description of the development of the universe. A ...

V

(restricted to the domain of

M

). In other words,

M

is a substructure of

V

. A standard model

M

that satisfies the additional transitivity condition that

x \in y \in M

implies

x \in M

is a standard transitive model (or simply a transitive model). Usually, when one talks about a model

M

of set theory, it is assumed that

M

is a set model, i.e. the domain of

M

is a set in

V

. If the domain of

M

is a

proper class Proper may refer to: Mathematics * Proper map, in topology, a property of continuous function between topological spaces, if inverse images of compact subsets are compact * Proper morphism, in algebraic geometry, an analogue of a proper map f ...

, then

M

is a class model. An

inner model 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''. Definition Let L = \langle \in \rangle b ...

is necessarily a class model.

References

* * {{uncategorized, date=April 2023