WikiDer > Абстрактная теория моделей
Abstract model theory
В математическая логика, теория абстрактных моделей является обобщением теория моделей который изучает общие свойства расширений логика первого порядка и их модели.[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 «Аксиомы теории абстрактных моделей», Annals of Mathematical Logic 7: 221–265.
дальнейшее чтение
- Джон Барвайз; Соломон Феферман (1985). Теоретико-модельная логика. Springer-Verlag. ISBN 978-0-387-90936-3.
 | Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |