About: Abstract model theory     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAbstract_model_theory&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdfs:label
  • Abstract model theory (en)
  • Teoria dei modelli astratti (it)
  • Teoria de modelo abstrato (pt)
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)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has 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)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software