×
奥利弗·德塞

有序的公理理论。 （英语） Zbl 1245.03071号

版本符号。日志。 4，第2期，186-204（2011）.
作者发展了一个与ZFC等价的公理理论。基本对象是列表而不是集合。如果列表（x）出现在列表（z）的位置（y），则该理论有一个基本关系（iota），由（x，iota_z，y）给出。特殊列表用于起序数作用的位置。
他描述了理论ALT，公理列表理论。从各种基本观点来看，这一理论可能会引起人们的兴趣，包括哲学和计算机科学的观点。
作者认为，哥德尔的可构造性公理在列表理论中比在集合理论中更有说服力。他研究了一种称为NEU的ALT修改。在这个理论中，每个列表都是可构造的和可计数的，实数和序数一样多。
审核人：马丁·韦斯（波茨坦）

MSC公司：

03E30年 经典集合论及其片断的公理化

关键词：

公理列表理论;ZFC公司;哥德尔的可建构性公理
PDF格式BibTeX公司 XML格式引用
\textit{O.Deiser}，版本：Symb。日志。4，第2号，186--204（2011；Zbl 1245.03071）
全文： 内政部

参考文献：

[1] DOI:10.1073/pnas.25.4.220·Zbl 0021.00102号 ·doi:10.1073/第252.4.220页
[2] Frege、Nachgelassene Schriften和wissenschaftlicher Briefwechsel。Nachgelassene Schriften 1（1983）
[3] Gericke，Geschichte des Zahlbegriffs（1970年）
[4] Frege，Grundlagen der Arithmetik（1986）
[5] Deiser，Einführung in die Mengenlehre（2009年）
[6] Deiser，Reelle Zahlen（2008）
[7] 克莱恩·施里夫滕·弗雷格（1967）
[8] Deiser，Orte，Listen，Aggregate（2006年）
[9] 费雷洛斯，思想迷宫。集合论历史及其在现代数学中的作用（1999）·Zbl 0934.03058号
[10] Dales，《数学中的真理》（1998）
[11] 埃宾豪斯，恩斯特·泽梅洛。《他的生活和工作方法》（2007）
[12] 科恩，集合论和连续统假设（1966）·Zbl 0182.01301号
[13] 内政部：10.1080/01445340903545904·Zbl 1204.03002号 ·网址：10.1080/01445340903545904
[14] 内政部：10.1007/BF01444205·doi:10.1007/BF01444205
[15] 苏尔·莱雷·沃姆·特朗芬廷（1890）
[16] Blass，《欧洲理论计算机科学协会公报》84第139页–（2004）
[17] 内政部：10.1007/BF01449999·doi:10.1007/BF01449999
[18] 内政部：10.1007/BF01445300·doi:10.1007/BF01445300
[19] Woodin，《美国数学学会通告》48 pp 567–（2001）
[20] 卡纳莫里，《符号逻辑公报》9/3第273页–（2003年）·Zbl 1069.03001号 ·数字对象标识代码：10.2178/bsl/1058448674
[21] 卡纳莫利，《符号逻辑公报》2/1第1页–（1996）·Zbl 0851.04001号 ·doi:10.2307/421046
[22] Jensen，《符号逻辑公报》1/4第393页–（1995）·Zbl 0843.03029号 ·doi:10.2307/421129
[23] Heath，希腊数学手册（2003）
[24] 蒙恩勒赫·格伦德·豪斯多夫（1914）
[25] DOI:10.1073/pnas.24.12.556·Zbl 0020.29701号 ·doi:10.1073/pnas.24.12.556
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。