|
Алгебра и логика, 2007, том 46, номер 5, страницы 649–662
(Mi al319)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О категоричности группы всех вычислимых автоморфизмов рациональных чисел
А. С. Морозовa, Д. К. Трассb a Институт математики им. С. Л. Соболева СО РАН
b University of Leeds
Аннотация:
Доказывается существование предложения $\varphi$ языка первого порядка теории групп такого, что группа всех вычислимых автоморфизмов упорядочения на рациональных числах является единственной с точностью до изоморфизма подгруппой группы всех вычислимых перестановок, удовлетворяющей $\varphi$.
Ключевые слова:
группа всех вычислимых автоморфизмов рациональных чисел, конечно аксиоматизируемая теория, категоричная теория.
Поступило: 27.09.2006
Образец цитирования:
А. С. Морозов, Д. К. Трасс, “О категоричности группы всех вычислимых автоморфизмов рациональных чисел”, Алгебра и логика, 46:5 (2007), 649–662; Algebra and Logic, 46:5 (2007), 354–361
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al319 https://www.mathnet.ru/rus/al/v46/i5/p649
|
|