bn:00241848n
Noun Concept
JA
内部モデル  推移的内部モデル
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
Relations
Sources
IS A
Wikidata Alias