Теория институциональной модели - Institutional model theory
- Эта страница посвящена концепции математической логики. Для концепций в социология, видеть Институциональная теория и Институциональная логика.
В математическая логика, теория институциональной модели обобщает большую часть Первый заказ теория моделей произвольному логическая система.
Обзор
Понятие «логическая система» здесь формализовано как учреждение. Институты представляют собой модельно-ориентированную мета-теорию логических систем, аналогичную теории кольца и модули составляют метатеорию классических линейная алгебра. Другая аналогия может быть проведена с универсальная алгебра против группы, кольца, модули и т. д. Абстрагируясь от реалий фактических конвенциональных логик, можно заметить, что теория институтов фактически приближается к реальностям нетрадиционных логик.
Теория институциональных моделей анализирует и обобщает классические теоретико-модельные концепции и результаты, такие как:
- Элементарные схемы
- Элементарные вложения
- Ультрапродукты, Теорема Лося
- Насыщенные модели
- аксиоматизируемость
- разновидности, Биркофф аксиоматизируемость
- Крейг интерполяция
- Последовательность Робинсона
- Определимость Бета
- Гёдель с теорема полноты
Для каждой концепции и теоремы необходимая инфраструктура и свойства анализируются и формулируются в виде условий для институтов, что дает подробное представление о том, на какие свойства логики первого порядка они опираются и насколько они могут быть обобщены на другие логики.
Рекомендации
 | Эта статья не цитировать любой источники. (Май 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
дальнейшее чтение
- Разван Диаконеску: Институционально-независимая модельная теория. Биркхойзер, 2008. ISBN 978-3-7643-8707-5.
- Разван Диаконеску: жемчужины институционально-независимой модельной теории. В: К. Футацуги, Ж.-П. Jouannaud, J. Meseguer (ред.): Алгебра, значение и вычисления. Очерки посвященные Джозеф А. Гогуэн к 65-летию со дня рождения. Конспект лекций по информатике 4060, стр. 65-98, Springer-Verlag, 2006.
- Мариус Петрия и Рэзван Диаконеску: Абстрактная определимость Бет в институтах. Журнал символической логики 71 (3), стр. 1002-1028, 2006.
- Даниэль Гини и Андрей Попеску: независимое от институтов обобщение теоремы Тарского об элементарной цепочке, Журнал логики и вычислений 16 (6), с. 713-735, 2006.
- Тилль Мосаковский, Джозеф Гогуэн, Ржаван Диаконеску, Анджей Тарлецки: Что такое логика ?. Жан-Ив Безиау, редактор Logica Universalis, страницы 113–133. Бирхаузер, 2005.
- Анджей Тарлецкий: Квазимногообразия в абстрактных алгебраических институтах. Журнал компьютерных и системных наук 33 (3), стр. 333-360, 1986.
внешняя ссылка
- Список публикаций Развана Диаконеску - содержит недавние работы по теории институциональных моделей