Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Model_complete_theory> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples 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 wikiPageLength "3005".
- Model_complete_theory wikiPageOutDegree "19".
- Model_complete_theory wikiPageRevisionID "545167975".
- Model_complete_theory wikiPageWikiLink Abraham_Robinson.
- Model_complete_theory wikiPageWikiLink Algebraically_closed_field.
- Model_complete_theory wikiPageWikiLink Amalgamation_property.
- Model_complete_theory wikiPageWikiLink Category:Model_theory.
- Model_complete_theory wikiPageWikiLink Complete_theory.
- Model_complete_theory wikiPageWikiLink Dense_linear_order.
- Model_complete_theory wikiPageWikiLink Dense_order.
- Model_complete_theory wikiPageWikiLink Elementary_embedding.
- Model_complete_theory wikiPageWikiLink Elementary_equivalence.
- Model_complete_theory wikiPageWikiLink Elimination_of_quantifiers.
- Model_complete_theory wikiPageWikiLink Equivalence_relation.
- Model_complete_theory wikiPageWikiLink First-order_logic.
- Model_complete_theory wikiPageWikiLink Formally_real_field.
- Model_complete_theory wikiPageWikiLink Group_(mathematics).
- Model_complete_theory wikiPageWikiLink Integral_domain.
- Model_complete_theory wikiPageWikiLink Model_theory.
- Model_complete_theory wikiPageWikiLink Ordered_field.
- Model_complete_theory wikiPageWikiLink Ordered_ring.
- Model_complete_theory wikiPageWikiLink Quantifier_elimination.
- Model_complete_theory wikiPageWikiLink Real_closed_field.
- Model_complete_theory wikiPageWikiLink Ring_(mathematics).
- Model_complete_theory wikiPageWikiLinkText "Model complete theory".
- Model_complete_theory wikiPageWikiLinkText "model companion".
- Model_complete_theory wikiPageWikiLinkText "model complete theory".
- Model_complete_theory wikiPageWikiLinkText "model complete".
- Model_complete_theory hasPhotoCollection Model_complete_theory.
- Model_complete_theory wikiPageUsesTemplate Template:Citation.
- Model_complete_theory subject Category:Model_theory.
- Model_complete_theory hypernym Model.
- Model_complete_theory type Person.
- 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 sameAs Modellvollständigkeit.
- Model_complete_theory sameAs m.03qh9ps.
- Model_complete_theory sameAs Modellfullständig.
- 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.