乌韦·彼得森 在具有无限制抽象的无收缩逻辑中增强归纳:从(mathbf{Z})到(mathbf{Z} _2\). (英语) Zbl 07603656号 架构(architecture)。数学。逻辑 61,编号7-8,1007-1051(2022).MSC公司:03B15号机组 03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{U.Petersen},Arch。数学。逻辑61,编号7--81007--1051(2022;Zbl 07603656) 全文: 内政部
安德烈亚·坎蒂尼 与有限构造数类相关的抽象逻辑。 (英语) Zbl 0696.03033号 架构(architecture)。数学。逻辑 31,第1号,69-83(1991). 审核人:A.坎蒂尼 MSC公司:03楼50 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},拱门。数学。逻辑31,No.1,69--83(1991;Zbl 0696.03033) 全文: 内政部