Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Model_theory> ?p ?o. }
Showing items 1 to 45 of
45
with 100 items per page.
- Model_theory abstract "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 theory a set of sentences in a formal language, and model of a theory a structure (e.g. an interpretation) that satisfies the sentences of that theory.Model theory recognises and is intimately concerned with a duality: It examines semantical elements (meaning and truth) by means of syntactical elements (formulas and proofs) of a corresponding language. To quote the first page of Chang and Keisler (1990):universal algebra + logic = model theory.Model theory developed rapidly during the 1990s, and a more modern definition is provided by Wilfrid Hodges (1997):model theory = algebraic geometry − fields,although model theorists are also interested in the study of fields. Other nearby areas of mathematics include combinatorics, number theory, arithmetic dynamics, analytic functions, and non-standard analysis.In a similar way to proof theory, model theory is situated in an area of interdisciplinarity between mathematics, philosophy, and computer science. The most important professional organization in the field of model theory is the Association for Symbolic Logic.".
- Model_theory wikiPageExternalLink modeltheory-fo.
- Model_theory wikiPageExternalLink 1235417263.
- Model_theory wikiPageExternalLink ModelTheory.pdf.
- Model_theory wikiPageExternalLink MTluminy.dvi.
- Model_theory wikiPageExternalLink lecturenotes_modeltheory.pdf.
- Model_theory wikiPageExternalLink 978-1-4419-1220-6.
- Model_theory wikiPageID "19858".
- Model_theory wikiPageRevisionID "602959411".
- Model_theory hasPhotoCollection Model_theory.
- Model_theory id "p/m064390".
- Model_theory title "Model theory".
- Model_theory subject Category:Mathematical_logic.
- Model_theory subject Category:Metalogic.
- Model_theory subject Category:Model_theory.
- 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 theory a set of sentences in a formal language, and model of a theory a structure (e.g.".
- Model_theory label "Model theory".
- Model_theory label "Modelltheorie".
- Model_theory label "Modeltheorie".
- Model_theory label "Teoria dei modelli".
- Model_theory label "Teoria dos modelos".
- Model_theory label "Teoria modeli".
- Model_theory label "Teoría de modelos".
- Model_theory label "Théorie des modèles".
- Model_theory label "Теория моделей".
- Model_theory label "نظرية النموذج".
- Model_theory label "モデル理論".
- Model_theory label "模型论".
- Model_theory sameAs Teorie_modelů.
- Model_theory sameAs Modelltheorie.
- Model_theory sameAs Θεωρία_μοντέλων.
- Model_theory sameAs Teoría_de_modelos.
- Model_theory sameAs Théorie_des_modèles.
- Model_theory sameAs Teoria_dei_modelli.
- Model_theory sameAs モデル理論.
- Model_theory sameAs 모형_이론.
- Model_theory sameAs Modeltheorie.
- Model_theory sameAs Teoria_modeli.
- Model_theory sameAs Teoria_dos_modelos.
- Model_theory sameAs m.04_lr.
- Model_theory sameAs Mx4rvYrSAJwpEbGdrcN5Y29ycA.
- Model_theory sameAs Q467606.
- Model_theory sameAs Q467606.
- Model_theory wasDerivedFrom Model_theory?oldid=602959411.
- Model_theory isPrimaryTopicOf Model_theory.