Iterated Forcing and Elementary Embeddings
Iterated Forcing and Elementary Embeddings
复制标题
迭代强迫和基本嵌入
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
J. Cummings
中科院分区：
文献类型：
--
作者：
J. Cummings
我给出了一个调查的一些强制技术，这是有用的研究大基数和基本嵌入。主要的主题是一个（可能是通用的）基本嵌入的宇宙扩展到一个更大的域，这通常是一个通用的扩展地面模型的一些迭代强制建设的问题。
I give a survey of some forcing techniques which are useful in the study of large cardinals and elementary embeddings. The main theme is the problem of extending a (possibly generic) elementary embedding of the universe to a larger domain, which is typically a generic extension of the ground model by some iterated forcing construction.