Teoria de modelo abstrato
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.
Q1166618
lógica matemática
Concept
Q467606
teoria dos modelos
Concept
Q4055684
a lógica de primeira ordem
Concept
Q723578
Jon Barwise
PER
Q4669950
Teoria de modelo abstrato
UNK
+1974^^http://www.w3.org/2001/XMLSchema#decimal
1974
NUMBER
subclass of
studies