纳撒内尔·利多姆·阿克曼 相对格罗森迪克地形。 （英语） Zbl 1223.03054号 Ann.纯粹应用。逻辑 161，第10期，1299-1312（2010）. 摘要：我们为高阶逻辑定义了一个相对化的概念。然后，我们证明了Grothendieck拓扑存在一个高阶理论，使得所有Grothendieck拓扑与具有选择的集合论的所有模型相对立。 引用于三文件 MSC公司： 03G30型 范畴逻辑，拓扑 03B15号机组 高阶逻辑；类型理论（MSC2010） 03C62号 算术和集合论模型 18对25 托波伊 关键词：格罗森迪克地形；滑轮；地点；相对化；高阶逻辑；集合论模型；选择 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Ackerman}，Ann.纯应用。逻辑161，No.10，1299--1312（2010；Zbl 1223.03054） 全文： DOI程序 参考文献： [1] 威廉·阿克曼（Wilhelm Ackermann，Zur Axiomatik der Mengenlehre），《数学年鉴》（Mathematische Annalen），131336-345（1956）·Zbl 0070.04801号 [2] 阿沃迪，S。；布茨，C。；A.辛普森。；Streicher，T.，《一阶集合理论与基本拓扑的关系》，《符号逻辑公报》，第13、3、340-358页（2007年）·Zbl 1152.03043号 [3] 阿沃迪，S。；甘比诺，N。；Lumsdaine，P.L。；Warren，M.A.，Lawvere-Tierney sheaves in algebral set theory，The Journal of Symbolic Logic，75，3，862-890（2009）·Zbl 1183.03068号 [4] 乔恩·巴韦斯（Jon Barwise），《可容许集和结构：可定义理论的方法》（Perspectives in Mathematical Logic，1975），施普林格·维朗（Springer-Verlang）·Zbl 1365.03004号 [5] 所罗门·费弗曼，《范畴理论的理论基础》（《中西部范畴研讨会报告》，第三期（1969年），施普林格出版社），201-247·Zbl 1315.03115号 [6] 托马斯·杰赫（集理论：第三个千年版。集理论：第一个千年版本，数学史普林格数学（2000），史普林格-弗拉格） [7] 安德烈·乔亚尔；Moerdijk，Ieke，（代数集理论。代数集理论，伦敦数学学会讲义系列，第220卷（1995），剑桥大学出版社：剑桥大学出版社）·Zbl 0847.03025号 [8] 桑德斯·麦克·莱恩（工作数学家分类。工作数学家的分类，数学研究生教材，第5卷（1998年），斯普林格·弗拉格）·Zbl 1089.01010号 [9] 桑德斯的Mac Lane；Moerdijk，Ieke，《几何和逻辑中的滑轮：拓朴理论的首次介绍》，Universitext（1992），Springer-Verlag·Zbl 0822.18001号 [10] Zermelo，Ernst，Untersuchungenüber die Grundlagen der Mengenlehre I，Mathematische Annalen，65，261-281（1908） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。