Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

About: End extension

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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

Property Value
dbo: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)
dbo:wikiPageID
  • 21278889 (xsd:integer)
dbo:wikiPageLength
  • 1587 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1036991124 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
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)
rdfs:label
  • End extension (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License