弗朗西斯科·西罗洛;Tatsuji Kawai;萨缪尔·马斯基奥 通过正拓扑分解\(\mathbf{Top}\)-\(\mathbf{Loc}\)附加函数。 (英语) Zbl 1482.03015号 架构(architecture)。数学。逻辑 60,编号7-8,967-979(2021). 审核人:约阿金·卢纳·托雷斯(卡塔赫纳) MSC公司:03G30型 2012年2月6日 18B35型 18楼70 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}等人,Arch。数学。逻辑60,编号7--8,967--979(2021;Zbl 1482.03015) 全文: 内政部 arXiv公司 OA许可证
石原、Hajime;玛丽亚·艾米莉亚·梅耶蒂;Maschio,萨穆勒;托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 (英语) Zbl 1522.03323号 架构(architecture)。数学。逻辑 57,编号7-8,873-888(2018).MSC公司:03年2月25日 03B38型 30楼03号 03英尺50英寸 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,Arch。数学。逻辑57,编号7-8873-888(2018;Zbl 1522.03323) 全文: 内政部 链接