Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Model_complete_theory> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Model_complete_theory abstract "In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson.".
- Model_complete_theory wikiPageID "15931153".
- Model_complete_theory wikiPageRevisionID "545167975".
- Model_complete_theory hasPhotoCollection Model_complete_theory.
- Model_complete_theory subject Category:Model_theory.
- Model_complete_theory comment "In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson.".
- Model_complete_theory label "Model complete theory".
- Model_complete_theory label "Modellvollständigkeit".
- Model_complete_theory sameAs Modellvollständigkeit.
- Model_complete_theory sameAs m.03qh9ps.
- Model_complete_theory sameAs Q6888319.
- Model_complete_theory sameAs Q6888319.
- Model_complete_theory wasDerivedFrom Model_complete_theory?oldid=545167975.
- Model_complete_theory isPrimaryTopicOf Model_complete_theory.