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 = ⟨∈⟩ be the language of set theory. Let S be a particular set theory, for example the ZFC axioms and let T (possibly the same as S) also be a theory in L. If M is a model for S, and N is an L-structure such that N is a substructure of M, i.e.
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 = ⟨∈⟩ be the language of set theory. Let S be a particular set theory, for example the ZFC axioms and let T (possibly the same as S) also be a theory in L. If M is a model for S, and N is an L-structure such that N is a substructure of M, i.e.
Source: Wikipedia "Inner model" · CC BY-SA 4.0
Share this article: X · Bluesky