In model theory and set theory, which are disciplines within mathematics, a model of some axiom system of set theory in the language of set theory is an end extension of , in symbols , if 1.
* is a substructure of , (i.e., and ), and 2.
* whenever and hold, i.e., no new elements are added by to the elements of . The second condition can be equivalently written as for all . For example, is an end extension of if and are transitive sets, and .
* v
* t
* e
Attributes | Values |
---|
rdfs:label
| |
rdfs:comment
| - In model theory and set theory, which are disciplines within mathematics, a model of some axiom system of set theory in the language of set theory is an end extension of , in symbols , if 1.
* is a substructure of , (i.e., and ), and 2.
* whenever and hold, i.e., no new elements are added by to the elements of . The second condition can be equivalently written as for all . For example, is an end extension of if and are transitive sets, and .
* v
* t
* e (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - In model theory and set theory, which are disciplines within mathematics, a model of some axiom system of set theory in the language of set theory is an end extension of , in symbols , if 1.
* is a substructure of , (i.e., and ), and 2.
* whenever and hold, i.e., no new elements are added by to the elements of . The second condition can be equivalently written as for all . For example, is an end extension of if and are transitive sets, and . A related concept is that of a (also known as rank extension), where a model is a top extension of a model if and for all and , we have , where denotes the rank of a set.
* v
* t
* e (en)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |