Proper forcing and $L({mathbb R})$
Proper forcing and $L({mathbb R})$
复制标题
适当的强制和$L({mathbb R})$
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
J. Zapletal
中科院分区：
文献类型：
--
作者：
I. Neeman;J. Zapletal
假设存在大基数，我们给出模型$L({mathbb R})$正则化的两种方式。我们证明了这种具有{em序数}参数的模式的理论不能被小的强迫改变；进一步证明了$V$中的一组序数不能通过小强迫加到$L({mathbb R})$中。所需的大基数对应于$AD^{L({mathbb R})}$的一致性强度；大约$omega$ Woodin枢机。
We present two ways in which the model $L({mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in $V$ cannot be added to $L({mathbb R})$ by small forcing. The large cardinal needed corresponds to the consistency strength of $AD^{L({mathbb R})}$; roughly $omega$ Woodin cardinals.