Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Model_theory> ?p ?o }
- Model_theory wikiPageWikiLink Non-standard_analysis.
- Model_theory wikiPageWikiLink Number_theory.
- Model_theory wikiPageWikiLink Oligomorphic_group.
- Model_theory wikiPageWikiLink Omega-categorical_theory.
- Model_theory wikiPageWikiLink Open_set.
- Model_theory wikiPageWikiLink Oxford_University_Press.
- Model_theory wikiPageWikiLink Paul_Cohen.
- Model_theory wikiPageWikiLink Philosophy.
- Model_theory wikiPageWikiLink Polynomial_ring.
- Model_theory wikiPageWikiLink Prime_ideal.
- Model_theory wikiPageWikiLink Proof_theory.
- Model_theory wikiPageWikiLink Pseudo-finite_field.
- Model_theory wikiPageWikiLink Quantifier_elimination.
- Model_theory wikiPageWikiLink Quasiidentity.
- Model_theory wikiPageWikiLink Rational_number.
- Model_theory wikiPageWikiLink Real_closed_field.
- Model_theory wikiPageWikiLink Recursive_language.
- Model_theory wikiPageWikiLink Recursively_enumerable_set.
- Model_theory wikiPageWikiLink Ring_(mathematics).
- Model_theory wikiPageWikiLink Robert_Lawson_Vaught.
- Model_theory wikiPageWikiLink Saharon_Shelah.
- Model_theory wikiPageWikiLink Saturated_model.
- Model_theory wikiPageWikiLink Second-order_logic.
- Model_theory wikiPageWikiLink Semantics.
- Model_theory wikiPageWikiLink Semigroup.
- Model_theory wikiPageWikiLink Sentence_(logic).
- Model_theory wikiPageWikiLink Set_theory.
- Model_theory wikiPageWikiLink Signature_(logic).
- Model_theory wikiPageWikiLink Skolems_paradox.
- Model_theory wikiPageWikiLink Spectrum_of_a_ring.
- Model_theory wikiPageWikiLink Springer_Science+Business_Media.
- Model_theory wikiPageWikiLink Stable_theory.
- Model_theory wikiPageWikiLink Stones_representation_theorem_for_Boolean_algebras.
- Model_theory wikiPageWikiLink Structure_(mathematical_logic).
- Model_theory wikiPageWikiLink Substructure.
- Model_theory wikiPageWikiLink Supertask.
- Model_theory wikiPageWikiLink Syntax.
- Model_theory wikiPageWikiLink T-schema.
- Model_theory wikiPageWikiLink Taylor_&_Francis.
- Model_theory wikiPageWikiLink Theory_(mathematical_logic).
- Model_theory wikiPageWikiLink Thoralf_Skolem.
- Model_theory wikiPageWikiLink Topology.
- Model_theory wikiPageWikiLink Type_(model_theory).
- Model_theory wikiPageWikiLink Ultrafilter.
- Model_theory wikiPageWikiLink Ultraproduct.
- Model_theory wikiPageWikiLink Unary_operation.
- Model_theory wikiPageWikiLink Universal_algebra.
- Model_theory wikiPageWikiLink Variety_(universal_algebra).
- Model_theory wikiPageWikiLink Web_Ontology_Language.
- Model_theory wikiPageWikiLink Wilfrid_Hodges.
- Model_theory wikiPageWikiLink Zariski_topology.
- Model_theory wikiPageWikiLinkText ""infinite" model theory".
- Model_theory wikiPageWikiLinkText "σ-structure".
- Model_theory wikiPageWikiLinkText "Model theorists".
- Model_theory wikiPageWikiLinkText "Model theory".
- Model_theory wikiPageWikiLinkText "Models".
- Model_theory wikiPageWikiLinkText "first order theory".
- Model_theory wikiPageWikiLinkText "interpretation".
- Model_theory wikiPageWikiLinkText "logical models".
- Model_theory wikiPageWikiLinkText "logical theory".
- Model_theory wikiPageWikiLinkText "mathematical construct".
- Model_theory wikiPageWikiLinkText "model theoretic principles".
- Model_theory wikiPageWikiLinkText "model theoretic".
- Model_theory wikiPageWikiLinkText "model theoretical".
- Model_theory wikiPageWikiLinkText "model theorist".
- Model_theory wikiPageWikiLinkText "model theory of truth".
- Model_theory wikiPageWikiLinkText "model theory – Using the compactness and completeness theorems".
- Model_theory wikiPageWikiLinkText "model theory".
- Model_theory wikiPageWikiLinkText "model".
- Model_theory wikiPageWikiLinkText "model-theoretic".
- Model_theory wikiPageWikiLinkText "model-theoretically".
- Model_theory wikiPageWikiLinkText "modeled".
- Model_theory wikiPageWikiLinkText "models of set theory".
- Model_theory wikiPageWikiLinkText "models".
- Model_theory wikiPageWikiLinkText "structure".
- Model_theory id "p/m064390".
- Model_theory title "Model theory".
- Model_theory wikiPageUsesTemplate Template:.
- Model_theory wikiPageUsesTemplate Template:=.
- Model_theory wikiPageUsesTemplate Template:About.
- Model_theory wikiPageUsesTemplate Template:Areas_of_mathematics.
- Model_theory wikiPageUsesTemplate Template:Authority_control.
- Model_theory wikiPageUsesTemplate Template:Cite_book.
- Model_theory wikiPageUsesTemplate Template:Col-begin.
- Model_theory wikiPageUsesTemplate Template:Col-break.
- Model_theory wikiPageUsesTemplate Template:Col-end.
- Model_theory wikiPageUsesTemplate Template:Main.
- Model_theory wikiPageUsesTemplate Template:Mathematical_logic.
- Model_theory wikiPageUsesTemplate Template:Reflist.
- Model_theory wikiPageUsesTemplate Template:Springer.
- Model_theory subject Category:Mathematical_logic.
- Model_theory subject Category:Metalogic.
- Model_theory subject Category:Model_theory.
- Model_theory hypernym Study.
- Model_theory type Book.
- Model_theory type Field.
- Model_theory type Redirect.
- Model_theory type Thing.
- Model_theory type Concept.
- Model_theory comment "In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic. The objects of study are models of theories in a formal language. We call a set of sentences in a formal language a theory; a model of a theory is a structure (e.g.".