About: Model theory

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

Property	Value
dbo:wikiPageID	693979 (xsd:integer)
dbo:wikiPageRevisionID	1067138832 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Portal dbt:CatAutoTOC dbt:Cat_main dbt:Contrast
rdf:type	skos:Concept
rdfs:label	Model theory (en)
skos:broader	dbc:Mathematical_modeling dbc:Mathematical_logic
skos:prefLabel	Model theory (en)
prov:wasDerivedFrom	wikipedia-en:Category:Model_theory?oldid=1067138832&ns=14
is dbo:wikiPageWikiLink of	dbr:Quantifier_elimination dbr:Elementary_class dbr:Elementary_diagram dbr:Elementary_equivalence dbr:List_of_first-order_theories dbr:Model_theory dbr:NIP_(model_theory) dbr:Löwenheim_number dbr:Morley_rank dbr:Omega-categorical_theory dbr:Algebraically_compact_module dbr:Decidable_sublanguages_of_set_theory dbr:Definable_set dbr:Indiscernibles dbr:Institution_(computer_science) dbr:Institutional_model_theory dbr:Interpretation_(logic) dbr:Interpretation_(model_theory) dbr:O-minimal_theory dbr:Potential_isomorphism dbr:Presburger_arithmetic dbr:Pseudoelementary_class dbr:Zariski_geometry dbr:Ziegler_spectrum dbr:Skolem_normal_form dbr:Tame_abstract_elementary_class dbr:Quantifier_rank dbr:Łoś–Vaught_test dbr:Fraïssé_limit dbr:General_frame dbr:Conservative_extension dbr:Equisatisfiability dbr:Reduced_product dbr:Stable_group dbr:Ordered_exponential_field dbr:Löwenheim–Skolem_theorem dbr:Compactness_theorem dbr:Complete_theory dbr:Completeness_(logic) dbr:Computable_model_theory dbr:Embedding dbr:Feferman–Vaught_theorem dbr:Functional_predicate dbr:Hardy_field dbr:Kripke_semantics dbr:Spectrum_of_a_theory dbr:Strength_(mathematical_logic) dbr:Structure_(mathematical_logic) dbr:Substructure_(mathematics) dbr:Gödel's_completeness_theorem dbr:Joint_embedding_property dbr:Tennenbaum's_theorem dbr:Two-variable_logic dbr:Non-standard_model_of_arithmetic dbr:True_arithmetic dbr:Stability_spectrum dbr:Amalgamation_property dbr:First-order_logic dbr:Diagram_(mathematical_logic) dbr:Differentially_closed_field dbr:Forking_extension dbr:Pregeometry_(model_theory) dbr:Prime_model dbr:Real_closed_ring dbr:Gödel's_incompleteness_theorems dbr:Atomic_model_(mathematical_logic) dbr:Back-and-forth_method dbr:Abstract_elementary_class dbr:Abstract_model_theory dbr:Ehrenfeucht–Fraïssé_game dbr:Ehrenfeucht–Mostowski_theorem dbr:Hereditary_property dbr:Transfer_principle dbr:Model-theoretic_grammar dbr:Model_complete_theory dbr:Tame_group dbr:Ax–Grothendieck_theorem dbr:Ax–Kochen_theorem dbr:Boolean-valued_model dbr:Büchi_arithmetic dbr:C-minimal_theory dbr:Hrushovski_construction dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Cantor's_isomorphism_theorem dbr:Categorical_theory dbr:Chang's_conjecture dbr:Satisfiability dbr:Semantics_of_logic dbr:Signature_(logic) dbr:Soundness dbr:Type_(model_theory) dbr:Valuation_(logic) dbr:Saturated_model dbr:Exponential_field dbr:Imaginary_element dbr:U-rank dbr:Tarski's_exponential_function_problem dbr:Łoś–Tarski_preservation_theorem dbr:Existentially_closed_model dbr:Finite_model_theory dbr:Pseudo-finite_field dbr:Stable_theory dbr:Ultraproduct dbr:Wilkie's_theorem dbr:Non-standard_model dbr:Stable_model_semantics dbr:Strongly_minimal_theory dbr:Reduct dbr:Vaught_conjecture dbr:Skolem's_paradox dbr:Weakly_o-minimal_structure dbr:Structural_Ramsey_theory
is dct:subject of	dbr:Quantifier_elimination dbr:Elementary_class dbr:Elementary_diagram dbr:Elementary_equivalence dbr:List_of_first-order_theories dbr:Model_theory dbr:NIP_(model_theory) dbr:Löwenheim_number dbr:Morley_rank dbr:Omega-categorical_theory dbr:Algebraically_compact_module dbr:Decidable_sublanguages_of_set_theory dbr:Definable_set dbr:Indiscernibles dbr:Institution_(computer_science) dbr:Institutional_model_theory dbr:Interpretation_(logic) dbr:Interpretation_(model_theory) dbr:O-minimal_theory dbr:Potential_isomorphism dbr:Presburger_arithmetic dbr:Pseudoelementary_class dbr:Zariski_geometry dbr:Ziegler_spectrum dbr:Skolem_normal_form dbr:Tame_abstract_elementary_class dbr:Quantifier_rank dbr:Łoś–Vaught_test dbr:Fraïssé_limit dbr:General_frame dbr:Conservative_extension dbr:Equisatisfiability dbr:Reduced_product dbr:Stable_group dbr:Ordered_exponential_field dbr:Löwenheim–Skolem_theorem dbr:Compactness_theorem dbr:Complete_theory dbr:Completeness_(logic) dbr:Computable_model_theory dbr:Embedding dbr:Feferman–Vaught_theorem dbr:Functional_predicate dbr:Hardy_field dbr:Kripke_semantics dbr:Spectrum_of_a_theory dbr:Strength_(mathematical_logic) dbr:Structure_(mathematical_logic) dbr:Substructure_(mathematics) dbr:Gödel's_completeness_theorem dbr:Joint_embedding_property dbr:Tennenbaum's_theorem dbr:Two-variable_logic dbr:Non-standard_model_of_arithmetic dbr:True_arithmetic dbr:Stability_spectrum dbr:Amalgamation_property dbr:First-order_logic dbr:Diagram_(mathematical_logic) dbr:Differentially_closed_field dbr:Forking_extension dbr:Pregeometry_(model_theory) dbr:Prime_model dbr:Real_closed_ring dbr:Gödel's_incompleteness_theorems dbr:Atomic_model_(mathematical_logic) dbr:Back-and-forth_method dbr:Abstract_elementary_class dbr:Abstract_model_theory dbr:Ehrenfeucht–Fraïssé_game dbr:Ehrenfeucht–Mostowski_theorem dbr:Hereditary_property dbr:Transfer_principle dbr:Model-theoretic_grammar dbr:Model_complete_theory dbr:Tame_group dbr:Ax–Grothendieck_theorem dbr:Ax–Kochen_theorem dbr:Boolean-valued_model dbr:Büchi_arithmetic dbr:C-minimal_theory dbr:Hrushovski_construction dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Cantor's_isomorphism_theorem dbr:Categorical_theory dbr:Chang's_conjecture dbr:Satisfiability dbr:Semantics_of_logic dbr:Signature_(logic) dbr:Soundness dbr:Type_(model_theory) dbr:Valuation_(logic) dbr:Saturated_model dbr:Exponential_field dbr:Imaginary_element dbr:U-rank dbr:Tarski's_exponential_function_problem dbr:Łoś–Tarski_preservation_theorem dbr:Existentially_closed_model dbr:Finite_model_theory dbr:Pseudo-finite_field dbr:Stable_theory dbr:Ultraproduct dbr:Wilkie's_theorem dbr:Non-standard_model dbr:Stable_model_semantics dbr:Strongly_minimal_theory dbr:Reduct dbr:Vaught_conjecture dbr:Skolem's_paradox dbr:Weakly_o-minimal_structure dbr:Structural_Ramsey_theory
is skos:broader of	dbc:Finite_model_theory dbc:Nonstandard_analysis dbc:Model_theorists