瓦伦蒂娜·S·哈里扎诺夫。;斯泰芬·伦普;查尔斯·F·D·麦考伊。;安德烈·莫罗佐夫。;里德·所罗门 关于几类可计算代数结构的同构问题。 (英语) Zbl 07557511号 架构(architecture)。数学。逻辑 61,编号5-6,813-825(2022).MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Harizanov}等人,Arch。数学。逻辑61,编号5--6,813--825(2022;Zbl 07557511) 全文: DOI程序
J.F.奈特。;C·麦考伊。 索引集和Scott语句。 (英语) Zbl 1338.03087号 架构(architecture)。数学。逻辑 53,第5-6号,519-524(2014).MSC公司:03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Knight}和\textit{C.McCoy},Arch。数学。逻辑53,No.5--6,519--524(2014;Zbl 1338.03087) 全文: DOI程序
查尔斯·麦考伊;约翰·沃尔鲍姆 描述自由群。二: \(\Pi^{0}_{4} 硬度和无(Sigma_2}^{0})基础。 (英语) 兹伯利1325.03037 事务处理。美国数学。Soc公司。 364,第11号,5729-5734(2012). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03C57号 03C75号 2015年3月1日 20E05年 PDF格式BibTeX公司 XML格式引用 \textit{C.McCoy}和\textit{J.Wallbaum},翻译。美国数学。Soc.364,No.11,5729--5734(2012;Zbl 1325.03037) 全文: DOI程序
叶卡捷琳娜·福基纳。;Sy-David弗里德曼;瓦伦蒂娜·哈里扎诺夫;朱莉娅·奈特。;查尔斯·麦考伊;安东尼奥·蒙塔尔班 可计算结构上的同构关系。 (英语) Zbl 1255.03040号 J.塞姆。日志。 77,第1期,122-132(2012). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Fokina}等人,J.Symb。日志。77,No.1,122--132(2012;Zbl 1255.03040) 全文: DOI程序 欧几里得 链接