Gianluca Paolini 有限呈现群的可计算Scott语句和弱Whitehead问题。 (英语) Zbl 07848925号 Ann.纯粹应用。逻辑 175,第7号,文章ID 103441,9页(2024).MSC公司:03C57号 2010年1月20日 03天80 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{G.Paolini},Ann.纯粹应用。逻辑175,第7号,文章ID 103441,9页(2024;Zbl 07848925) 全文: 内政部 arXiv公司
Gianluca Paolini 拟Hopfian有限表示结构的可计算Scott语句。 (英语) Zbl 07680015号 架构(architecture)。数学。逻辑 62,编号1-2,55-65(2023).MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Paolini},拱门。数学。逻辑62,编号1-2,55-65(2023;Zbl 07680015) 全文: 内政部 arXiv公司
马修·哈里森·特雷纳 介绍可数结构的Scott复杂性,并对最近的结果进行调查。 (英语) Zbl 1501.03002号 牛市。符号。日志。 28,编号1,71-103(2022). 审核人:亚历山德拉·索斯科娃(索菲亚) MSC公司:03C57号 03D45号 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor},公牛。符号。日志。28、第1号、第71-103号(2022;Zbl 1501.03002) 全文: 内政部 arXiv公司
拉切尔·阿尔维;诺姆·格林伯格;马修·哈里森·特雷纳;丹·特雷茨基 可数结构的Scott复杂性。 (英语) Zbl 1485.03168号 J.塞姆。日志。 86,编号4,1706-1720(2021). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03D45号 03C57号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvir}等人,J.Symb。日志。86,编号4,1706-1720(2021;Zbl 1485.03168) 全文: 内政部
泰勒·A·布朗。;蒂莫西·麦克尼科尔。;亚历山大·梅尔尼科夫。 关于勒贝格空间分类的复杂性。 (英语) Zbl 1482.03008号 J.塞姆。日志。 85,第3期,1254-1288(2020). 审核人:丹尼尔·格拉萨(法罗群岛) MSC公司:03D45号 03D78号 46个B04 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Brown}等人,J.Symb。日志。85,编号31254-1288(2020年;兹bl 1482.03008) 全文: 内政部 arXiv公司
拉切尔·阿尔维;朱莉娅·奈特。;麦考伊CSC,查尔斯 斯科特句子的复杂性。 (英语) Zbl 1485.03103号 芬丹。数学。 251,编号2109-129(2020).MSC公司:03C57号 03C75号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvir}等人,Fundam。数学。251,第2号,109--129(2020;Zbl 1485.03103) 全文: 内政部 arXiv公司
萨拉·奎因。 等价结构的Scott语句。 (英语) Zbl 1442.03025号 架构(architecture)。数学。逻辑 59,编号3-4,453-460(2020). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Quinn},Arch(阿奇)。数学。逻辑59,编号3--4,453--460(2020;Zbl 1442.03025) 全文: 内政部
伊娃·比兰诺维奇;詹妮弗·查布;萨姆·罗文 正在从组的描述中检测属性。 (英语) Zbl 1481.03043号 架构(architecture)。数学。逻辑 59,编号3-4,293-312(2020).MSC公司:03天80 03C57号 2010年1月20日 06英尺15英寸 03D40号 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{I.Bilanovic}等人,Arch。数学。逻辑59,编号3-4293-312(2020;Zbl 1481.03043) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔基诺夫;Ng,Keng Meng女士 自动和多项式时间代数结构。 (英语) Zbl 1454.03042号 J.塞姆。日志。 84,第4号,1630-1669(2019). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03C57号 05年3月 03D20日 03D45号 03天80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,J.Symb。日志。84,第4号,1630--1669(2019;Zbl 1454.03042) 全文: 内政部 链接
哈,庄;瓦伦蒂娜·哈里扎诺夫 岩浆秩序与可计算性理论。 (英语) Zbl 1522.03172号 J.结理论分歧 27,第7号,文章ID 1841001,13 p.(2018).MSC公司:03D45号 03C57号 99年6月 20号02 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{T.Ha}和\textit{V.Harizanov},J.结理论分歧27,第7号,文章ID 1841001,13 p.(2018;Zbl 1522.03172) 全文: 内政部
马修·哈里森·特雷纳;何孟哲 有限生成代数结构的最优Scott语句。 (英语) Zbl 1522.03126号 程序。美国数学。Soc公司。 146,第10号,4473-4485(2018).MSC公司:03C57号 03D45号 2005年5月20日 20F06年 20E05年 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}和\textit{M.-C.Ho},程序。美国数学。Soc.146,No.10,4473--4485(2018;Zbl 1522.03126) 全文: 内政部 arXiv公司
朱莉娅·奈特。;维克拉姆萨拉夫 斯科特针对特定群体的句子。 (英语) Zbl 1522.03173号 架构(architecture)。数学。逻辑 57,编号3-4,453-472(2018).MSC公司:03D45号 03C57号 20E34年 PDF格式BibTeX公司 XML格式引用 \textit{J.F.奈特}和\textit{V.萨拉夫},拱门。数学。逻辑57,No.3--4,453--472(2018;Zbl 1522.03173) 全文: 内政部 arXiv公司
何孟契 描述组。 (英语) Zbl 1423.03150号 程序。美国数学。Soc公司。 145,第5期,2223-2239(2017).MSC公司:03D45号 03C57号 2010年1月20日 2005年5月20日 20E34年 PDF格式BibTeX公司 XML格式引用 \textit{M.-C.Ho},程序。美国数学。Soc.145,编号52223-2239(2017;兹bl 1423.03150) 全文: 内政部 arXiv公司
罗德·唐尼;亚历山大·梅尔尼科夫。;Ng,Keng Meng女士 关于等价关系的范畴。 (英语) Zbl 1386.03050号 Ann.纯粹应用。逻辑 166,第9期,851-880(2015).MSC公司:03D45号 03C57号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,Ann.Pure Appl。逻辑166,No.9,851--880(2015;Zbl 1386.03050) 全文: 内政部
J.F.奈特。 使用可计算性度量代数结构和结构类的复杂性。 (英语) Zbl 1325.03036号 Lobachevskii J.数学。 35,第4号,304-312(2014).MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.奈特},罗巴切夫斯基J.数学。35,第4号,304--312(2014;Zbl 1325.03036) 全文: 内政部
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) 全文: 内政部
罗德尼·唐尼;亚历山大·梅尔尼科夫。 有效地分类阿贝尔群。 (英语) Zbl 1315.03054号 J.代数 373, 223-248 (2013).MSC公司:03C57号 03C35号 20K20码 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{A.G.Melnikov},J.代数373,223--248(2013;Zbl 1315.03054) 全文: 内政部
查尔斯·麦考伊;约翰·沃尔鲍姆 描述自由群。二: \(\Pi^{0}_{4} 硬度和无(Sigma_2}^{0})基础。 (英语) Zbl 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) 全文: 内政部