莫罗佐夫,A.S。;斯特拉斯,J.K。 有理数的所有可计算自同构的群的分类。 (俄语、英语) Zbl 1164.03333号 代数逻辑卡 46,第5期,649-662(2007); 代数逻辑翻译46,第5期,354-361(2007)。 摘要:我们证明了存在一个一阶句子,使得有理数的排序的所有可计算自同构的群是嵌入在所有可计算置换群中的群中的唯一模型。 引用于1文件 MSC公司: 03C57号 可计算结构理论 03C35号 理论的分类和完整性 03D45号 计算理论,有效呈现结构 20B27型 无限自同构群 关键词:有理数的全可计算自同构群;有限公理化理论;范畴理论 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Morozov}和\textit{J.K.Truss},代数逻辑46,No.5,649--662(2007;Zbl 1164.03333);代数逻辑翻译46,第5期,354-361(2007) 全文: 内政部