马克·范·艾登;德克·范·达伦 连续性原则的论证。 (英语) Zbl 1036.03047号 牛市。符号。日志。 8,第3期,329-347(2002). 本文致力于从现象学角度证明弱连续性原理的一种限制形式,并证明Klesel-Lacombe-Shoenfield-Tsejtin(KLST)定理。它的第一部分包括对布劳沃关于对价差或选择序列要素施加的限制性条件的性质的表述的历史分析。第二部分包含一个声明和一个支持连续性原则的现象学论证,其中出现在其中的谓词仅指选择序列的图(alpha),以及为什么需要限制这些谓词的论证。第三部分包含KLST的“无函数(f:{mathbbN}^{mathbb N}\rightarrow{mathbb-N})是不连续的”的两个证明,以及利用马尔可夫原理和函数(f:。审核人:维克多·V·潘布西安(凤凰城) 引用于10文件 MSC公司: 03楼55 直觉数学 03楼50 构造系统的元数学 关键词:布劳沃连续性原理 PDF格式BibTeX公司 XML格式引用 \textit{M.van Atten}和\textit{D.van Dalen},公牛。符号。日志。8,第3号,329--347(2002;Zbl 1036.03047) 全文: 内政部 链接 链接