J_2 中的分析
逻辑
2007-05-23 v2 泛函分析
综合数学
历史与综述
摘要
这是一篇综述性论文,我在其中解释了核心数学,特别是抽象分析,如何能在具体的可数集 J_2(Jensen 可构造谱系中的第二个集合)内发展。其含义对证明论者而言是熟知的,但多数主流数学家可能并不知晓,即寻常数学实践并不需要一个神秘形而上学式的集合宇宙。我更进一步主张,J_2 是常态数学更优的框架,因为它免除了无关的集合论病理现象,并允许更强形式的存在性结果表述。
引用
@article{arxiv.math/0509245,
title = {Analysis in J_2},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:math/0509245},
year = {2007}
}
备注
31 pages