首页 | 本学科首页   官方微博 | 高级检索  
     


Coding into by reasonable forcing
Authors:Ralf-Dieter Schindler
Affiliation:Department of Mathematics, University of California, Berkeley, California 94720
Abstract:

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 $Xsubsetomega_1$ can be made $boldsymbol{Delta}^1_3$ (in the codes) in a reasonable and stationary preserving set generic extension.

Keywords:
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号