To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

From Wikipedia, the free encyclopedia

In set theory, a branch of mathematical logic, an inner model[1] 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.


Let 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 .

If M is a model for S, and N is an -structure such that

  1. N is a substructure of M, i.e. the interpretation of in N is
  2. N is a model for T
  3. the domain of N is a transitive class of M
  4. N contains all ordinals of M

then we say that N is an inner model of T (in M).[2] Usually T will equal (or subsume) S, so that N is a model for S 'inside' the model M of S.

If only conditions 1 and 2 hold, N is called a standard model of T (in M), a standard submodel of T (if S = T and) N is a set in M. A model N of T in M is called transitive when it is standard and condition 3 holds. If the axiom of foundation is not assumed (that is, is not in S) all three of these concepts are given the additional condition that N be well-founded. Hence inner models are transitive, transitive models are standard, and standard models are well-founded.

The assumption that there exists a standard submodel of ZFC (in a given universe) is stronger than the assumption that there exists a model. In fact, if there is a standard submodel, then there is a smallest standard submodel called the minimal model contained in all standard submodels. The minimal submodel contains no standard submodel (as it is minimal) but (assuming the consistency of ZFC) it contains some model of ZFC by the Gödel completeness theorem. This model is necessarily not well-founded otherwise its Mostowski collapse would be a standard submodel. (It is not well-founded as a relation in the universe, though it satisfies the axiom of foundation so is "internally" well-founded. Being well-founded is not an absolute property.[3]) In particular in the minimal submodel there is a model of ZFC but there is no standard submodel of ZFC.


Usually when one talks about inner models of a theory, the theory one is discussing is ZFC or some extension of ZFC (like ZFC +  a measurable cardinal). When no theory is mentioned, it is usually assumed that the model under discussion is an inner model of ZFC. However, it is not uncommon to talk about inner models of subtheories of ZFC (like ZF or KP) as well.

Related ideas

It was proved by Kurt Gödel that any model of ZF has a least inner model of ZF (which is also an inner model of ZFC + GCH), called the constructible universe, or L.

There is a branch of set theory called inner model theory that studies ways of constructing least inner models of theories extending ZF. Inner model theory has led to the discovery of the exact consistency strength of many important set theoretical properties.

See also


  1. ^ Shepherdson, J.C. (1951–53). "Inner Models for Set Theory". Journal of Symbolic Logic. Cite journal requires |journal= (help)CS1 maint: date format (link)
  2. ^ Jech, Thomas (2002). Set Theory. Berlin: Springer-Verlag. ISBN 3-540-44085-2.
  3. ^ Kunen, Kenneth (1980). Set Theory. Amsterdam: North-Holland Pub. Co. ISBN 0-444-86839-9., Page 117
This page was last edited on 17 April 2021, at 22:40
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.