Matches in DBpedia 2014 for { <http://dbpedia.org/resource/End_extension> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- End_extension 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 is a substructure of , and whenever and hold, i.e., no new elements are added by to the elements of .The following is an equivalent definition of end extension: is a substructure of , and for all .For example, is an end extension of if and are transitive sets, and .".
- End_extension wikiPageID "21278889".
- End_extension wikiPageRevisionID "266956794".
- End_extension hasPhotoCollection End_extension.
- End_extension subject Category:Mathematical_logic.
- End_extension 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 is a substructure of , and whenever and hold, i.e., no new elements are added by to the elements of .The following is an equivalent definition of end extension: is a substructure of , and for all .For example, is an end extension of if and are transitive sets, and .".
- End_extension label "End extension".
- End_extension sameAs m.05f73gp.
- End_extension sameAs Q5375818.
- End_extension sameAs Q5375818.
- End_extension wasDerivedFrom End_extension?oldid=266956794.
- End_extension isPrimaryTopicOf End_extension.