Абстрактная теория моделей
В математической логике абстрактная теория моделей — это обобщение теории моделей , изучающее общие свойства расширений логики первого порядка и их моделей. [1]
Теория абстрактных моделей предлагает подход, который позволяет нам сделать шаг назад и изучить широкий спектр логик и их взаимосвязей. [2] Отправной точкой для изучения абстрактных моделей, результатом которого стали хорошие примеры, стала теорема Линдстрема . [3]
В 1974 году Джон Барвайз представил аксиоматизацию теории абстрактных моделей. [4]
См. также [ править ]
Ссылки [ править ]
- ^ Институционально-независимая модельная теория Рэзвана Дьяконеску, 2008 г. ISBN 3-7643-8707-6 стр. 3
- ^ Справочник по математической логике Джона Барвайза, 1989 г. ISBN 0-444-86388-5 стр. 45
- ^ Жан-Ив Безио Logica Universalis: к общей теории логики 2005 ISBN 978-3-7643-7259-0 страницы 20–25
- ^ Дж. Барвайз, 1974 «Аксиомы абстрактной теории моделей» , Анналы математической логики 7: 221–265
Дальнейшее чтение [ править ]
- Джон Барвайз; Соломон Феферман (1985). Теоретико-модельная логика . Спрингер-Верлаг. ISBN 978-0-387-90936-3 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |