Абстрактная теория моделей - Abstract model theory

В математическая логика, теория абстрактных моделей является обобщением теория моделей который изучает общие свойства расширений логика первого порядка и их модели.^[1]

Теория абстрактных моделей предоставляет подход, который позволяет нам сделать шаг назад и изучить широкий спектр логик и их взаимосвязей.^[2] Отправной точкой для изучения абстрактных моделей, в результате которых были получены хорошие примеры, было Теорема Линдстрема.^[3]

В 1974 г. Джон Барвайз обеспечил аксиоматизацию теории абстрактных моделей.^[4]

Смотрите также

• Теорема Линдстрема
• Учреждение (информатика)
• Теория институциональной модели

Рекомендации

1. Институционально-независимая теория моделей Рэзван Диаконеску 2008 ISBN  3-7643-8707-6 стр. 3
2. Справочник по математической логике Джон Барвайз, 1989 ISBN  0-444-86388-5 стр.45
3. Жан-Ив Безио Logica universalis: к общей теории логики 2005 ISBN  978-3-7643-7259-0 страницы 20–25
4. Дж. Барвайз, 1974 «Аксиомы теории абстрактных моделей», Annals of Mathematical Logic 7: 221–265.

дальнейшее чтение

• Джон Барвайз; Соломон Феферман (1985). Теоретико-модельная логика. Springer-Verlag. ISBN  978-0-387-90936-3.