About:
Model theory
An Entity in Data Space:
dbpedia.org
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