An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematical logic, abstract model theory is a generalization of model theory that 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.

Property Value
dbo:abstract
  • In mathematical logic, abstract model theory is a generalization of model theory that 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. (en)
  • Na lógica matemática, a teoria de modelo abstrato é uma generalização da teoria dos modelos que estuda as propriedades gerais de extensões de a lógica de primeira ordem e os seus modelos. Teoria de modelo abstrato fornece uma abordagem que nos permite dar um passo para trás e o estudo de uma ampla gama de lógicas e suas relações. O ponto de partida para o estudo de modelos abstratos, o que resultou em bons exemplos foi o teorema de Lindström. Em 1974 Jon Barwise fornecida uma axiomatização da teoria de modelo abstrato. (pt)
dbo:wikiPageID
  • 31474975 (xsd:integer)
dbo:wikiPageLength
  • 1464 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1065897161 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdfs:comment
  • In mathematical logic, abstract model theory is a generalization of model theory that 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. (en)
  • Na lógica matemática, a teoria de modelo abstrato é uma generalização da teoria dos modelos que estuda as propriedades gerais de extensões de a lógica de primeira ordem e os seus modelos. Teoria de modelo abstrato fornece uma abordagem que nos permite dar um passo para trás e o estudo de uma ampla gama de lógicas e suas relações. O ponto de partida para o estudo de modelos abstratos, o que resultou em bons exemplos foi o teorema de Lindström. Em 1974 Jon Barwise fornecida uma axiomatização da teoria de modelo abstrato. (pt)
rdfs:label
  • Abstract model theory (en)
  • Teoria dei modelli astratti (it)
  • Teoria de modelo abstrato (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License