Теория абстрактной модели

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

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

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

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

• Теорема Линдстрема
• Институт (компьютерные науки)
• Теория институциональной модели

Ссылки

1. Теория институционально-независимой модели Развана Диаконеску, ISBN 2008 г.  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.