|
Известия Иркутского государственного университета. Серия «Математика», 2010, том 3, выпуск 4, страницы 7–20
(Mi iigum172)
|
|
|
|
Новый спектр вычислимых моделей
А. Н. Гаврюшкин Иркутский государственный университет
Аннотация:
В работе доказано существование моделей эренфойхтовой теории, попарно друг в друга элементарно вкладываемых, одна из которых имеет вычислимое представление, а другая нет. Этот результат вместе с работой [6] является ключевым для описания спектров вычислимых моделей эренфойхтовых теорий.
Ключевые слова:
эренфойхтова теория; вычислимая модель; разрешимая модель; простая модель; однородная модель.
Образец цитирования:
А. Н. Гаврюшкин, “Новый спектр вычислимых моделей”, Известия Иркутского государственного университета. Серия Математика, 3:4 (2010), 7–20
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum172 https://www.mathnet.ru/rus/iigum/v3/i4/p7
|
Статистика просмотров: |
Страница аннотации: | 160 | PDF полного текста: | 71 | Список литературы: | 38 |
|