Teoria dei modelli astratti
Vai alla navigazione
Vai alla ricerca
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.[1]
Essa permete di studiare un'ampia gamma di logiche e le loro relazioni.[2] Il teorema di Lindström è il punto di partenza per lo studio dei modelli astratti, che ha prodotto buoni esempi.[3]
Nel 1974, Jon Barwise ha fornito un'assiomatizzazione della teoria dei modelli astratti.[4]
Note[modifica | modifica wikitesto]
- ^ Institution-independent model theory, Răzvan Diaconescu 2008 ISBN 3-7643-8707-6 p. 3
- ^ Handbook of mathematical logic, Jon Barwise 1989 ISBN 0-444-86388-5 p. 45
- ^ Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 ISBN 978-3-7643-7259-0 pp. 20–25
- ^ J. Barwise, Axioms for abstract model theory, 1974 DOI: 10.1016/0003-4843(74)90016-3, Annals of Mathematical Logic 7:221–265
