道格拉斯·S·布里奇斯。 公寓空间和统一的邻里结构。 (英语) Zbl 1402.03095号 Ann.纯应用。逻辑 167,第9号,850-864(2016).MSC公司:03层60 65楼03号 54E05型 54E15型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Bridges},Ann.纯粹应用。逻辑167,No.9,850--864(2016;Zbl 1402.03095) 全文: 内政部
奥利维亚·卡拉梅尔 部分有序结构的祭司型对偶。 (英语) Zbl 1343.18005号 Ann.纯应用。逻辑 167,第9号,820-849(2016). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:18对25 18B35型 03G10年 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{O.Caramello},Ann.纯苹果。Logic 167,No.9,820--849(2016;Zbl 1343.18005) 全文: 内政部 arXiv公司
弗朗西斯科·西罗洛;史蒂文·维克斯 区域设置上的积极关系。 (英语) Zbl 1402.03090号 Ann.纯应用。逻辑 167,第9号,806-819(2016).MSC公司:03楼55 2012年2月6日 06B23号 54甲12 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}和\textit{S.Vickers},Ann.Pure Appl。逻辑167,No.9,806--819(2016;Zbl 1402.03090) 全文: 内政部 链接
Hötzel Escardó,马汀;托马斯·斯特里彻 Martin-Löf宇宙的内在拓扑。 (英语) Zbl 1402.03022号 Ann.纯应用。逻辑 167,第9号,794-805(2016).MSC公司:03年11月15日 03楼50 03C90号 03D65年 PDF格式BibTeX公司 XML格式引用 \textit{M.Hötzel Escardó}和\textit{T.Streicher},Ann.Pure Appl。逻辑167,No.9,794--805(2016;Zbl 1402.03022) 全文: 内政部 链接
马丁·埃斯卡多;徐创杰 Kleene-Kreisel连续泛函的构造性表现。 (英语) Zbl 1402.03020号 Ann.纯应用。逻辑 167,第9号,770-793(2016).MSC公司:03年11月15日 03楼50 03C90号 03D65年 PDF格式BibTeX公司 XML格式引用 \textit{M.Escardó}和\textit{C.Xu},Ann.纯应用。逻辑167,No.9,770--793(2016;Zbl 1402.03020) 全文: 内政部
巴兹尔·卡戴斯。 原子性、信息的一致性和无点结构。 (英语) Zbl 1348.68112号 Ann.纯应用。逻辑 167,第9期,753-769(2016). 审核人:Ittay Weiss(朴茨茅斯) MSC公司:68问题55 06B35号 18B30型 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Karádais},Ann.纯苹果。Logic 167,No.9,753--769(2016;Zbl 1348.68112) 全文: 内政部
艾奥西夫·彼得拉基斯 用近似值限制空间。 (英语) Zbl 1432.03083号 Ann.纯应用。逻辑 167,第9期,737-752(2016).MSC公司:03D75号 03天80 03层60 PDF格式BibTeX公司 XML格式引用 \textit{I.Petrakis},Ann.《纯粹的应用》。逻辑167,编号9,737--752(2016;Zbl 1432.03083) 全文: 内政部
德努·鲁苏;加布里埃尔·乔巴努 连续域的基本拓扑和密度拓扑。 (英语) Zbl 1346.54014号 Ann.纯应用。逻辑 167,第9期,726-736(2016). 审核人:David B.Gauld(奥克兰) MSC公司:54甲12 06B35号 06B75号 30楼06号 22年30日 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{D.Rusu}和\textit{G.Ciobanu},Ann.纯应用。逻辑167,No.9,726--736(2016;Zbl 1346.54014) 全文: 内政部
蒂埃里·科昆德(编辑);玛丽亚·艾米莉亚·梅埃蒂(编辑);乔瓦尼·桑宾(编辑);彼得·舒斯特(编辑) 前言。 (英语) Zbl 1338.00065号 Ann.纯应用。逻辑 167、9、725号(2016).MSC公司:00B25型 03-06 54-06 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}(编辑)等人,《纯粹应用》。Logic 167,No.9,725(2016;Zbl 1338.00065) 全文: 内政部