Coding into by reasonable forcing
Coding into by reasonable forcing
复制标题
通过合理的强制编码
DOI：
10.1090/s0002-9947-00-02636-2
复制
发表时间：
2000
影响因子：
1.3
通讯作者：
R. Schindler
中科院分区：
文献类型：
--
作者：
R. Schindler
我们提出了一种技术，用于编码集“到K”，其中K是一个强基数下的核心模型。具体而言，我们表明，如果没有内部模型与强基数，那么任何X C wl可以A3（在代码中）在一个合理的和固定的保持集的通用扩展。
We present a technique for coding sets "into K," where K is the core model below a strong cardinal. Specifically, we show that if there is no inner model with a strong cardinal then any X C wl can be made A3 (in the codes) in a reasonable and stationary preserving set generic extension.