About: Model theory

Property	Value
rdf:type	skos:Concept
rdfs:label	Model theory
skos:broader	dbpedia:Category:Mathematical_logic
skos:prefLabel	Model theory
is skos:broader of	dbpedia:Category:Finite_model_theory dbpedia:Category:Inner_model_theory dbpedia:Category:Universal_algebra dbpedia:Category:Non-standard_analysis dbpedia:Category:Model_theorists
is skos:subject of	dbpedia:Embedding dbpedia:Complete_theory dbpedia:Descriptive_complexity_theory dbpedia:Soundness dbpedia:Skolem_normal_form dbpedia:Age_(model_theory) dbpedia:Amalgamation_property dbpedia:Atomic_model_(mathematical_logic) dbpedia:Elementary_class dbpedia:Interpretation_(logic) dbpedia:Undecidable_problem dbpedia:Computable_model_theory dbpedia:Exponential_field dbpedia:Hrushovski_construction dbpedia:Indiscernibles dbpedia:Kripke_semantics dbpedia:List_of_first-order_theories dbpedia:Structure_(mathematical_logic) dbpedia:Gödel's_completeness_theorem dbpedia:Signature_(logic) dbpedia:Ax–Grothendieck_theorem dbpedia:Prime_model dbpedia:Conservative_extension dbpedia:Differentially_closed_field dbpedia:Existentially_closed_model dbpedia:Functional_predicate dbpedia:Joint_embedding_property dbpedia:Peano_axioms dbpedia:Löwenheim–Skolem_theorem dbpedia:Morley's_categoricity_theorem dbpedia:First-order_logic dbpedia:Presburger_arithmetic dbpedia:Compactness_theorem dbpedia:Ultraproduct dbpedia:Ax–Kochen_theorem dbpedia:Forking_extension dbpedia:C-minimal_theory dbpedia:Spectrum_of_a_theory dbpedia:O-minimal_theory dbpedia:Gödel's_incompleteness_theorems dbpedia:Model_theory dbpedia:Elementary_equivalence dbpedia:Ehrenfeucht–Fraïssé_game dbpedia:Back-and-forth_method dbpedia:Boolean-valued_model dbpedia:Type_(model_theory) dbpedia:Valuation_(logic) dbpedia:Decidable_sublanguages_of_set_theory dbpedia:Institution_(computer_science) dbpedia:Institutional_model_theory dbpedia:Interpretation_(model_theory) dbpedia:Model_complete_theory dbpedia:Morley_rank dbpedia:Non-standard_model dbpedia:Original_proof_of_Gödel's_completeness_theorem dbpedia:Quantifier_elimination dbpedia:Satisfiability_and_validity dbpedia:Saturated_model dbpedia:Stability_spectrum dbpedia:Tame_group dbpedia:Tennenbaum's_theorem dbpedia:Theory_(mathematical_logic) dbpedia:Wilkie's_theorem dbpedia:Non-standard_arithmetic dbpedia:Stable_group dbpedia:Vaught_conjecture dbpedia:Pregeometry_(model_theory) dbpedia:Pseudoelementary_class dbpedia:Skolem's_paradox dbpedia:Substructure dbpedia:Tarski's_exponential_function_problem dbpedia:Zariski_geometry dbpedia:Potential_isomorphism dbpedia:Reduct dbpedia:Stable_theory dbpedia:Strongly_minimal_theory dbpedia:Weakly_o-minimal_structure