阿尔伯特·齐格勒 构造集理论的可实现性和Heyting模型的推广。 (英语) Zbl 1267.03055号 Ann.纯粹应用。逻辑 163,第2期,175-184(2012). 审核人:安德烈亚·坎蒂尼(费伦泽) MSC公司:35层03 03E35号 03E70型 03楼50 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ziegler},Ann.纯苹果。逻辑163,编号2175-184(2012;Zbl 1267.03055) 全文: 内政部
史蒂文·维克斯 形式拓扑中的余矢和连通性。 (英语) Zbl 1251.03091号 Ann.纯粹应用。逻辑 163,第2期,157-174(2012).MSC公司:03层60 65楼03号 10层18号 54B20型 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vickers},Ann.纯苹果。逻辑163,编号2,157--174(2012;Zbl 1251.03091) 全文: 内政部 哈尔
西尔维奥·瓦伦蒂尼 独立性导致正式拓扑。 (英语) Zbl 1267.03059号 Ann.纯粹应用。逻辑 163,第2期,151-156(2012). 审核人:蒂埃里·科昆德(哥德堡) MSC公司:65楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{S.Valentini},Ann.纯苹果。逻辑163,No.2,151--156(2012;Zbl 1267.03059) 全文: 内政部
克劳迪奥·萨塞尔多蒂·科恩;恩里科·佐利 毕晓普风格的勒贝格支配收敛定理。 (英语) Zbl 1251.03089号 Ann.纯粹应用。逻辑 163,第2期,140-150(2012).MSC公司:03层60 28B99号 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sacerdoti Coen}和\textit{E.Zoli},Ann.Pure Appl。逻辑163,No.2,140--150(2012;Zbl 1251.03089) 全文: 内政部
石原、Hajime 隔断空间的两个子类别。 (英语) Zbl 1251.03094号 Ann.纯粹应用。逻辑 163,第2期,132-139(2012).MSC公司:65楼03号 03层60 54B30型 54E05型 54E17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara},Ann.纯粹应用。逻辑163,No.2,132--139(2012;Zbl 1251.03094) 全文: 内政部
彼得·戴比杰;丹尼斯·库珀伯格 正式邻域、组合Böhm树和通过评估的非类型化标准化。 (英语) Zbl 1248.03024号 Ann.纯粹应用。逻辑 163,第2期,122-131(2012).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}和\textit{D.Kuperberg},Ann.Pure Appl。逻辑163,No.2,122--131(2012;Zbl 1248.03024) 全文: 内政部 链接
弗朗西斯科·西罗洛 对可满足性的建设性调查。 (英语) Zbl 1246.03023号 Ann.纯粹应用。逻辑 163,第2期,111-121(2012). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03财年03 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo},Ann.纯粹应用。逻辑163,No.2,111--121(2012;Zbl 1246.03023) 全文: 内政部
布里奇斯,道格拉斯S。 对功能空间的思考。 (英语) Zbl 1251.03093号 Ann.纯粹应用。逻辑 163,第2期,101-110(2012).MSC公司:65楼03号 54立方厘米 54E05型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Bridges},Ann.纯粹应用。逻辑163,No.2,101--110(2012;Zbl 1251.03093) 全文: 内政部
安德烈·鲍尔;达沃林·勒什尼克 合成拓扑中的度量空间。 (英语) Zbl 1251.03081号 Ann.纯粹应用。逻辑 163,第2号,87-100(2012).MSC公司:03层60 03楼55 65楼03号 18对25 第54页第35页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{D.Lešnik},Ann.Pure Appl。逻辑163,No.2,87--100(2012;Zbl 1251.03081) 全文: 内政部
安德烈·鲍尔(编辑);可口、蒂埃里(编辑);乔瓦尼·桑宾(编辑);彼得·M·舒斯特。(编辑) 特刊:根据2007年5月9日至12日在意大利帕多瓦举行的第三届正式拓扑研讨会(3WFTop)上的演示文稿选出的论文。 (英语) Zbl 1245.03007号 Ann.纯粹应用。逻辑163,第2期,85-184(2012)。 MSC公司:03-06 54-06 00时25分 PDF格式BibTeX公司 XML格式