Small measurable cardinals

小型可测量红雀

阅读:1

Abstract

We continue the work from [8] and make a small-but significant-improvement to the definition of j-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this allows us to more easily lift weakly compact embeddings and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has Mitchell order of at least 2.

特别声明

1、本页面内容包含部分的内容是基于公开信息的合理引用;引用内容仅为补充信息,不代表本站立场。

2、若认为本页面引用内容涉及侵权,请及时与本站联系,我们将第一时间处理。

3、其他媒体/个人如需使用本页面原创内容,需注明“来源:[生知库]”并获得授权;使用引用内容的,需自行联系原作者获得许可。

4、投稿及合作请联系:info@biocloudy.com。