×
莫罗佐夫，A.S。

可判定模型的自同构群。 （英语。俄文原件） Zbl 0856.03029号

代数逻辑 34，第4期，242-248（1995）; 翻译自《代数逻辑》34，第4期，437-447（1995）。
作者研究了递归模型和可判定模型的递归自同构群的同构类型类是否一致的问题。事实证明，答案是肯定的。此外，作者还证明了递归自同构群的所有同构类型都可以在单个可数范畴模型中实现。
审核人：M.M.Arslanov（喀山）

MSC公司：

03C57号 可计算结构理论

关键词：

递归模型;递归自同构群;可判定模型;可数范畴模型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Morozov}，代数逻辑34，No.4，242--248（1995；Zbl 0856.03029）；《代数罗技》第34卷第4期第437页至第447页的译文（1995年）
全文： 内政部 欧洲DML

参考文献：

[1] B.I.Plotkin，代数系统的自同构群[俄语]，瑙卡，莫斯科（1966年）。
[2] A.S.Morozov？构造布尔代数的递归自同构群，？《代数逻辑》，22，第6期，138-158（1983）。
[3] 于。L.Ershov，《可决定性问题和建设性模型（俄语）》，瑙卡，莫斯科（1980年）。
[4] A.I.Mal'tsev，《算法和递归函数（俄语）》，瑙卡，莫斯科（1986年）。
[5] S.S.Goncharov？非等价构造的个数问题，？《代数逻辑》，19，第6期，621-639（1980）。
[6] A.S.Morozov？一个没有非平凡递归自同构的可数范畴可判定模型，？同胞。材料Zh。，30，第2期，221-224（1989）·Zbl 0685.03027号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。