×
詹妮弗·查布;瓦伦蒂娜·S·哈里扎诺夫。;安德烈·莫罗佐夫。;莎拉·平里;埃里克·乌弗曼

部分自同构半群。 （英语） Zbl 1172.03021号

Ann.纯粹应用。逻辑 156，编号2-3，245-258（2008）.
代数结构的部分自同构形成一个逆半群，这意味着对于每个元素（x）都存在一个元素（x^{-1}），即（x=xx^{-1-}x）和（x^}-1}=x^{-1}xx^}-1}）。本文研究了以下结构的逆半群：等价结构、偏序、布尔代数和相对补分布格。有两种结果。第一类结果表明，对于这些逆半群的某些子半群，子半群的同构意味着底层结构的同构。第二类的结果表明，在某些情况下，可以从可计算部分自同构的逆半群的同构类型重建可计算结构。
审核人：马吕斯·齐曼德（汤森）

MSC公司：

03C57号 可计算结构理论
03D45号 计算理论，有效呈现结构
08A35型 代数结构的自同态和自同态

关键词：

可计算部分自同构;可计算结构;等效;订购;相对补分配格;同构类型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Chubb｝等人，Ann.纯应用。逻辑156，No.2--3，245--258（2008；Zbl 1172.03021）
全文： DOI程序 链接

参考文献：

[1] Ash，C.J。；Knight，J.F.，《可计算结构和超算术层次》（2000），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 0960.03001号
[2] Barwise，J.，《可容许集与结构》（1975），Springer-Verlag:Springer-Verlag Berlin·Zbl 0316.02047号
[3] G.Birkhoff，《格点理论》，第3版，美国数学学会学术讨论会出版物，第二十五卷，罗得岛普罗维登斯，1967年；G.Birkhoff，《格理论》，第三版，美国数学学会学术讨论会出版物，第二十五卷，普罗维登斯，RI，1967年·Zbl 0153.02501号
[4] Clifford，A.H。；普雷斯顿，G.B.，代数半群理论，第一卷（1961），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0111.03403号
[5] 于尔肖夫（Yu Ershov）。法律。；Goncharov，S.S.，《建构模型》，西伯利亚代数与逻辑学院（2000），Kluwer学术出版社/Plenum出版社，英文翻译·Zbl 0954.03036号
[6] Goncharov，S.S.，《可数布尔代数与可判定性》（1997），西伯利亚代数与逻辑学院顾问局，英文翻译·兹伯利0912.03019
[7] Harizanov，V.S.，（Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.，《纯计算模型理论》，《递归数学手册》，第1卷（1998年），Elsevier:Elsevier Amsterdam），3-114·Zbl 0952.03037号
[8] Lipacheva，E.V.，可数模型的部分自同构，Izv。维什。乌切布。扎韦德。Mat.，1，12-21（1997），俄语数学中的英语翻译。（Iz.VUZ）41（1）（1997）10-19·Zbl 0901.03029号
[9] E.V.Lipacheva，布尔代数的递归自同构群和部分自同构半群，Kazan，1996，第37页，预印本（俄语）；E.V.Lipacheva，布尔代数的递归自同构群和部分自同构半群，Kazan，1996，第37页，预印本（俄语）
[10] Morozov，A.S.，递归布尔代数的构造自同构群，代数与逻辑，22138-158（1983），（俄语）；95-112英语翻译·Zbl 0549.03031号
[11] Morozov，A.S.，（Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.，《可计算自同构的组》，《可计算机自同构组》，递归数学手册，第1卷（1998年），Elsevier:Elsevier Amsterdam），311-345·Zbl 0940.03047号
[12] McKenzie，R.，可数布尔代数的自同构群，加拿大数学杂志，3466-471（1977）·Zbl 0339.02051号
[13] Rubin，M.，关于齐次和饱和布尔代数的自同构群，代数普遍性，9，54-86（1979）·Zbl 0424.06012
[14] Rubin，M.，关于可数布尔代数的自同构群，以色列数学杂志，35151-170（1980）·Zbl 0447.06010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。