@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Embedding	skos:subject	ns2:Model_theory .
dbpedia:Complete_theory	skos:subject	ns2:Model_theory .
dbpedia:Descriptive_complexity_theory	skos:subject	ns2:Model_theory .
dbpedia:Soundness	skos:subject	ns2:Model_theory .
dbpedia:Skolem_normal_form	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Age_%28model_theory%29>	skos:subject	ns2:Model_theory .
dbpedia:Amalgamation_property	skos:subject	ns2:Model_theory .
ns2:Finite_model_theory	skos:broader	ns2:Model_theory .
ns2:Inner_model_theory	skos:broader	ns2:Model_theory .
<http://dbpedia.org/resource/Atomic_model_%28mathematical_logic%29>	skos:subject	ns2:Model_theory .
dbpedia:Elementary_class	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Interpretation_%28logic%29>	skos:subject	ns2:Model_theory .
ns2:Universal_algebra	skos:broader	ns2:Model_theory .
dbpedia:Undecidable_problem	skos:subject	ns2:Model_theory .
dbpedia:Computable_model_theory	skos:subject	ns2:Model_theory .
dbpedia:Exponential_field	skos:subject	ns2:Model_theory .
dbpedia:Hrushovski_construction	skos:subject	ns2:Model_theory .
dbpedia:Indiscernibles	skos:subject	ns2:Model_theory .
dbpedia:Kripke_semantics	skos:subject	ns2:Model_theory .
dbpedia:List_of_first-order_theories	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Structure_%28mathematical_logic%29>	skos:subject	ns2:Model_theory ,
		ns2:Model_theory ,
		ns2:Model_theory ,
		ns2:Model_theory .
ns2:Non-standard_analysis	skos:broader	ns2:Model_theory .
dbpedia:Prime_model	skos:subject	ns2:Model_theory .
dbpedia:Conservative_extension	skos:subject	ns2:Model_theory .
dbpedia:Differentially_closed_field	skos:subject	ns2:Model_theory .
dbpedia:Existentially_closed_model	skos:subject	ns2:Model_theory .
dbpedia:Functional_predicate	skos:subject	ns2:Model_theory .
dbpedia:Joint_embedding_property	skos:subject	ns2:Model_theory .
dbpedia:Peano_axioms	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem>	skos:subject	ns2:Model_theory ,
		ns2:Model_theory .
dbpedia:First-order_logic	skos:subject	ns2:Model_theory .
dbpedia:Presburger_arithmetic	skos:subject	ns2:Model_theory .
dbpedia:Compactness_theorem	skos:subject	ns2:Model_theory .
dbpedia:Ultraproduct	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Ax%E2%80%93Kochen_theorem>	skos:subject	ns2:Model_theory .
ns2:Model_theorists	skos:broader	ns2:Model_theory .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Model_theory	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Model_theory	rdfs:label	"Model theory"@en ;
	skos:prefLabel	"Model theory"@en ;
	skos:broader	ns2:Mathematical_logic .
dbpedia:Forking_extension	skos:subject	ns2:Model_theory .
dbpedia:C-minimal_theory	skos:subject	ns2:Model_theory .
dbpedia:Spectrum_of_a_theory	skos:subject	ns2:Model_theory .
dbpedia:O-minimal_theory	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems>	skos:subject	ns2:Model_theory .
dbpedia:Model_theory	skos:subject	ns2:Model_theory .
dbpedia:Elementary_equivalence	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Ehrenfeucht%E2%80%93Fra%C3%AFss%C3%A9_game>	skos:subject	ns2:Model_theory .
dbpedia:Back-and-forth_method	skos:subject	ns2:Model_theory .
dbpedia:Boolean-valued_model	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Type_%28model_theory%29>	skos:subject	ns2:Model_theory ,
		ns2:Model_theory .
dbpedia:Decidable_sublanguages_of_set_theory	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Institution_%28computer_science%29>	skos:subject	ns2:Model_theory .
dbpedia:Institutional_model_theory	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Interpretation_%28model_theory%29>	skos:subject	ns2:Model_theory .
dbpedia:Model_complete_theory	skos:subject	ns2:Model_theory .
dbpedia:Morley_rank	skos:subject	ns2:Model_theory .
dbpedia:Non-standard_model	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	skos:subject	ns2:Model_theory .
dbpedia:Quantifier_elimination	skos:subject	ns2:Model_theory .
dbpedia:Satisfiability_and_validity	skos:subject	ns2:Model_theory .
dbpedia:Saturated_model	skos:subject	ns2:Model_theory .
dbpedia:Stability_spectrum	skos:subject	ns2:Model_theory .
dbpedia:Tame_group	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Tennenbaum%27s_theorem>	skos:subject	ns2:Model_theory ,
		ns2:Model_theory ,
		ns2:Model_theory .
dbpedia:Non-standard_arithmetic	skos:subject	ns2:Model_theory .
dbpedia:Stable_group	skos:subject	ns2:Model_theory .
dbpedia:Vaught_conjecture	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Pregeometry_%28model_theory%29>	skos:subject	ns2:Model_theory .
dbpedia:Pseudoelementary_class	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Skolem%27s_paradox>	skos:subject	ns2:Model_theory .
dbpedia:Substructure	skos:subject	ns2:Model_theory .
<http://dbpedia.org/resource/Tarski%27s_exponential_function_problem>	skos:subject	ns2:Model_theory .
dbpedia:Zariski_geometry	skos:subject	ns2:Model_theory .
dbpedia:Potential_isomorphism	skos:subject	ns2:Model_theory .
dbpedia:Reduct	skos:subject	ns2:Model_theory .
dbpedia:Stable_theory	skos:subject	ns2:Model_theory .
dbpedia:Strongly_minimal_theory	skos:subject	ns2:Model_theory .
dbpedia:Weakly_o-minimal_structure	skos:subject	ns2:Model_theory .