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.
known for
Wikipage redirect
Admissible ordinalAxiom of choiceAxiom of real determinacyChang's modelConstructible universeContinuum hypothesisCore modelCountable setCovering lemmaCritical point (set theory)DeterminacyExtender (set theory)Glossary of set theoryGround axiomGroup structure and the axiom of choiceGödel's incompleteness theoremsHuge cardinalInaccessible cardinalInner model theoryItay NeemanJohn R. SteelJohn_von_NeumannKenneth KunenL(R)List of set theory topicsMahlo cardinalMinimal model (set theory)Ordinal definable setProper forcing axiomReflection principleSemiringSet modelSolovay modelStandard model (disambiguation)Standard model (set theory)Strong cardinalSupercompact cardinalSuslin's problemThe Higher InfiniteTransitive model
Link from a Wikipage to another Wikipage
primaryTopic
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.
has abstract
In set theory, a branch of mat ...... ontains all the ordinals of M.
@en
在數理邏輯裡，令T 是在集合論的語言 中的一個。 若M 是 ...... 型，則會存在一個包含於所有標準模型中的最小標準模型，稱之為。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,018,403,171
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In set theory, a branch of mat ...... ontains all the ordinals of M.
@en
在數理邏輯裡，令T 是在集合論的語言 中的一個。 若M 是 ...... 型，則會存在一個包含於所有標準模型中的最小標準模型，稱之為。
@zh
label
Inner model
@en
內模型
@zh