克里斯托弗·伊格尔。;克洛维斯·哈梅尔;桑德拉·米勒;富兰克林·D·塔尔。 莫利定理关于可数模型数的一个不可判定推广。 (英语) 兹伯利07719417 Ann.纯粹应用。逻辑 174,第9号,文章ID 103317,25页(2023).MSC公司:03C85号 03C55号 03E55 03E45型 03E15年 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}等人,Ann.Pure Appl。逻辑174,第9号,文章ID 103317,25页(2023;Zbl 07719417) 全文: 内政部 arXiv公司
Stefanović,内德尔伊科 Halpern-Läuchli定理的替代方法。 (英语) Zbl 07719415号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103313,29 p.(2023).MSC公司:03E35号 10年5月 03E75型 2018年5月 PDF格式BibTeX公司 XML格式引用 \textit{N.Stefanović},Ann.《纯粹的应用》。逻辑174,第9号,文章ID 103313,29页(2023;Zbl 07719415) 全文: 内政部
d'Auriac,Paul-Elliot Angles公司;刘璐;巴斯蒂安·米格诺蒂;卢多维奇·佩蒂 Carlson-Simpson引理及其在逆向数学中的应用。 (英语) Zbl 07719408号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103287,16页(2023).MSC公司:03B30型 05元55分 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.A.d'Auriac}等人,《纯粹应用》。逻辑174,第9号,文章ID 103287,第16页(2023;Zbl 07719408) 全文: 内政部 arXiv公司 哈尔
马克·坎斯玛 固定域上的双线性空间是简单不稳定的。 (英语) Zbl 07680010号 Ann.纯粹应用。逻辑 174,第6号,文章ID 103268,22 p.(2023).MSC公司:03C45号机组 03C10号机组 03C35号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},Ann.纯苹果。逻辑174,第6号,文章ID 103268,22页(2023;Zbl 07680010) 全文: 内政部 arXiv公司 OA许可证
纪尧姆·马萨 B帧对偶。 (英语) Zbl 07662884号 Ann.纯粹应用。逻辑 174,第5号,文章ID 103245,42 p.(2023).MSC公司:03B20型 06B15号 06B23号 06D20日 18楼70 PDF格式BibTeX公司 XML格式引用 \textit{G.Massas},Ann.纯苹果。逻辑174,第5号,文章ID 103245,42页(2023;Zbl 07662884) 全文: 内政部 OA许可证
巴勃罗Cubides Kovacsics;法国波因特 具有泛型派生的拓扑字段。 (英语) Zbl 1511.12003年 Ann.纯粹应用。逻辑 174,第3号,文章ID 103211,38页(2023). 审核人:吕克·贝莱尔(蒙特利尔) MSC公司:12升12 12J25型 2005年12月 13N15号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cubides Kovacsics}和\textit{F.Point},Ann.Pure Appl。逻辑174,第3号,文章ID 103211,38页(2023;Zbl 1511.12003) 全文: 内政部 arXiv公司
叶金河 关于ACVF中\(\mu\)-稳定剂的一个注记。 (英语) Zbl 1512.03058号 Ann.纯粹应用。逻辑 174,第3号,文章ID 103210,14页(2023). 审核人:Fujita Masato(库尔) MSC公司:03C60型 12升12 03C65号 03C64型 03C98号 12月10日 17年11月14日 PDF格式BibTeX公司 XML格式引用 \textit{J.Ye},Ann.纯苹果。逻辑174,第3号,文章ID 103210,14页(2023;Zbl 1512.03058) 全文: 内政部 arXiv公司