Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Abstract_model_theory> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Abstract_model_theory abstract "In mathematical logic, abstract model theory is a generalization of model theory which studies the general properties of extensions of first-order logic and their models.Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.In 1974 Jon Barwise provided an axiomatization of abstract model theory.".
- Abstract_model_theory wikiPageID "31474975".
- Abstract_model_theory wikiPageLength "1315".
- Abstract_model_theory wikiPageOutDegree "11".
- Abstract_model_theory wikiPageRevisionID "575382609".
- Abstract_model_theory wikiPageWikiLink Category:Mathematical_logic.
- Abstract_model_theory wikiPageWikiLink Category:Metatheorems.
- Abstract_model_theory wikiPageWikiLink First-order_logic.
- Abstract_model_theory wikiPageWikiLink Institution_(computer_science).
- Abstract_model_theory wikiPageWikiLink Institutional_model_theory.
- Abstract_model_theory wikiPageWikiLink Jon_Barwise.
- Abstract_model_theory wikiPageWikiLink Lindstrxc3xb6ms_theorem.
- Abstract_model_theory wikiPageWikiLink Mathematical_logic.
- Abstract_model_theory wikiPageWikiLink Model_theory.
- Abstract_model_theory wikiPageWikiLink Solomon_Feferman.
- Abstract_model_theory wikiPageWikiLinkText "Abstract model theory".
- Abstract_model_theory wikiPageWikiLinkText "abstract model theory".
- Abstract_model_theory wikiPageUsesTemplate Template:Cite_book.
- Abstract_model_theory wikiPageUsesTemplate Template:Mathlogic-stub.
- Abstract_model_theory wikiPageUsesTemplate Template:Reflist.
- Abstract_model_theory subject Category:Mathematical_logic.
- Abstract_model_theory subject Category:Metatheorems.
- Abstract_model_theory hypernym Generalization.
- Abstract_model_theory type Field.
- Abstract_model_theory type Theorem.
- Abstract_model_theory comment "In mathematical logic, abstract model theory is a generalization of model theory which studies the general properties of extensions of first-order logic and their models.Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.In 1974 Jon Barwise provided an axiomatization of abstract model theory.".
- Abstract_model_theory label "Abstract model theory".
- Abstract_model_theory sameAs Q4669950.
- Abstract_model_theory sameAs m.0glp5rz.
- Abstract_model_theory sameAs Q4669950.
- Abstract_model_theory wasDerivedFrom Abstract_model_theory?oldid=575382609.
- Abstract_model_theory isPrimaryTopicOf Abstract_model_theory.