|
Алгебра и логика, 2006, том 45, номер 5, страницы 507–519
(Mi al157)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Сложность эренфойхтовых моделей
А. Н. Гаврюшкин Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Исследуются примеры эренфойхтовых теорий, обладающих конструктивными моделями и счётными моделями разной сложности, а также оценивается сложность эренфойхтовых теорий, имеющих конструктивные модели.
Ключевые слова:
эренфойхтова теория, конструктивная модель.
Поступило: 26.10.2004 Окончательный вариант: 06.09.2006
Образец цитирования:
А. Н. Гаврюшкин, “Сложность эренфойхтовых моделей”, Алгебра и логика, 45:5 (2006), 507–519; Algebra and Logic, 45:5 (2006), 289–295
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al157 https://www.mathnet.ru/rus/al/v45/i5/p507
|
Статистика просмотров: |
Страница аннотации: | 342 | PDF полного текста: | 99 | Список литературы: | 47 | Первая страница: | 9 |
|