About: Model complete theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Concept in model theory

Property	Value
dbo:description	Concept in model theory (en)
dbo:wikiPageWikiLink	dbr:Formally_real_field dbr:Algebraically_closed_field dbr:Real_closed_field dbr:First-order_logic dbr:Integral_domain dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Abraham_Robinson dbc:Mathematical_logic dbr:Equivalence_relation dbc:Model_theory dbr:Model_theory dbr:Ordered_field dbr:Complete_theory dbr:Ordered_ring dbr:Amalgamation_property dbr:Categorical_theory dbr:Diagram_(mathematical_logic) dbr:Elementary_embedding dbr:Elimination_of_quantifiers
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Mathematical_logic dbc:Model_theory
gold:hypernym	dbr:Model
rdfs:label	Model complete theory (en) Modellvollständigkeit (de) Modellfullständig (sv)
owl:sameAs	freebase:Model complete theory wikidata:Model complete theory dbpedia-de:Model complete theory dbpedia-sv:Model complete theory dbpedia-global:Model complete theory dbr:Model complete theory
prov:wasDerivedFrom	wikipedia-en:Model_complete_theory?oldid=1176329221&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Model_complete_theory
is dbo:wikiPageRedirects of	dbr:Model-complete dbr:Model-complete_theory dbr:Model_companion dbr:Model_complete dbr:Model_completeness dbr:Model_completion
is dbo:wikiPageWikiLink of	dbr:Skolem_normal_form dbr:Exponential_field dbr:Ordered_exponential_field dbr:List_of_mathematical_logic_topics dbr:P-adically_closed_field dbr:Real_closed_ring dbr:Transseries dbr:Model-complete dbr:Model-complete_theory dbr:Model_companion dbr:Model_complete dbr:Model_completeness dbr:Model_completion
is foaf:primaryTopic of	wikipedia-en:Model_complete_theory