可实现性代数II：ZF+DC的新模型
逻辑
2015-07-01 v4 计算机科学中的逻辑
摘要
利用证明-程序（Curry-Howard）对应，我们给出了一种在集合论中获得ZF模型和相对一致性结果的新方法。我们展示了ZF+DC+存在一个实数子集序列其基数严格递减+其他类似实数性质的一致性。这些结果似乎以前未通过力迫法获得。
引用
@article{arxiv.1007.0825,
title = {Realizability algebras II : new models of ZF + DC},
author = {Jean-Louis Krivine},
journal= {arXiv preprint arXiv:1007.0825},
year = {2015}
}
备注
28 p