|
Сибирский математический журнал, 2002, том 43, номер 6, страницы 1265–1270
(Mi smj1367)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Вычислимо жесткие модели с перечислимыми подмоделями
А. Н. Бузыкаева Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Рассматриваются рекурсивные представления множества рациональных чисел с выделенным всюду плотным подмножеством с всюду плотным дополнением и некоторые булевы алгебры с выделенной подалгеброй. Показано, что отказ от рекурсивности выделенной подмодели дает возможность построить модели без нетривиальных автоморфизмов. Доказательство проведено методом приоритета.
Ключевые слова:
вычислимая модель, вычислимый автоморфизм, группа вычислимых автоморфизмов, метод приоритета, булева алгебра, рекурсивно перечислимое множество.
Статья поступила: 26.11.2001
Образец цитирования:
А. Н. Бузыкаева, “Вычислимо жесткие модели с перечислимыми подмоделями”, Сиб. матем. журн., 43:6 (2002), 1265–1270; Siberian Math. J., 43:6 (2002), 1023–1026
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1367 https://www.mathnet.ru/rus/smj/v43/i6/p1265
|
Статистика просмотров: |
Страница аннотации: | 182 | PDF полного текста: | 77 |
|