|
Алгебра и логика, 2007, том 46, номер 3, страницы 275–289
(Mi al297)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Спектры вычислимых моделей эренфойхтовых теорий
А. Н. Гаврюшкин Новосибирский государственный университет
Аннотация:
Строится пример теории с конечным (большим единицы) числом типов изоморфизма счётных моделей такой, что её простая и насыщенная модели обладают вычислимыми представлениями и существует модель, таковым представлением не обладающая.
Ключевые слова:
эренфойхтова теория, счётная модель, вычислимое представление модели.
Поступило: 10.12.2006
Образец цитирования:
А. Н. Гаврюшкин, “Спектры вычислимых моделей эренфойхтовых теорий”, Алгебра и логика, 46:3 (2007), 275–289; Algebra and Logic, 46:3 (2007), 149–157
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al297 https://www.mathnet.ru/rus/al/v46/i3/p275
|
|