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


Authors:Amir Leshem
Affiliation:Institute of Mathematics, Hebrew University, Jerusalem, Israel
Abstract:

In this paper we prove that if $kappa$ is a cardinal in $L[0^{sharp}]$, then there is an inner model $M$ such that $M models (V_{kappa},in)$ has no elementary end extension. In particular if $0^{sharp}$ exists, then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than $aleph_1$ of uncountable cofinality in $L[0^{sharp}]$ is Mahlo in every strict inner model of $L[0^{sharp}]$.

Keywords:Models of set theory   $0^{sharp}$   inner models
点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Proceedings of the American Mathematical Society》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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