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


Coding into by reasonable forcing
Authors:Ralf-Dieter Schindler
Institution: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 $X\subset\omega_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》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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