bn:00241848n
Noun Concept
Categories: Inner model theory
EN
inner model
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
Wikipedia
Wikidata