Realizability algebras II : new models of ZF + DC
Realizability algebras II : new models of ZF + DC
复制标题
可实现性代数 II：ZF DC 的新模型
DOI：
10.2168/lmcs-8(1:10)2012
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
J. Krivine
中科院分区：
文献类型：
--
作者：
J. Krivine
利用证明程序（Curry-Howard）对应，给出了一种新的方法来获得集合论中ZF的模型和相对一致性结果。我们证明了ZF + DC的相对一致性+存在R的子集序列，它们的基数是严格递减的+ R的其他类似性质。这些结果似乎不是以前通过强迫得到的。
Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the cardinals of which are strictly decreasing + other similar properties of R. These results seem not to have been previously obtained by forcing.