Nella logica matematica, la teoria dei modelli astratti è una generalizzazione della teoria dei modelli la quale studia le caratteristiche generali delle estensioni della logica del primo ordine e dei loro modelli.Institution-independent model theory, Răzvan Diaconescu 2008 p. 3
Essa permete di studiare un'ampia gamma di logiche e le loro relazioni.Handbook of mathematical logic, Jon Barwise 1989 p. 45 Il teorema di Lindström è il punto di partenza per lo studio dei modelli astratti, che ha prodotto buoni esempi.Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 pp. 20–25
Nel 1974, Jon Barwise ha fornito un'assiomatizzazione della teoria dei modelli astratti.J. Barwise, Axioms for abstract model theory, 1974 , Annals of Mathematical Logic 7:221–265
Note
Voci correlate Astrazione Teoria dei modelli
Categoria:Logica matematica Categoria:Astrazione Categoria:Matematica applicata