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


Indestructible strong compactness and level by level inequivalence
Authors:Arthur W Apter
Institution:1. Department of Mathematics, Baruch College of CUNY, , New York, NY 10010 United States of America;2. CUNY Graduate Center, , New York, NY 10016 United States of America
Abstract:If urn:x-wiley:09425616:malq201200067:equation:malq201200067-math-0001 are such that δ is indestructibly supercompact and γ is measurable, then it must be the case that level by level inequivalence between strong compactness and supercompactness fails. We prove a theorem which points to this result being best possible. Specifically, we show that relative to the existence of cardinals urn:x-wiley:09425616:malq201200067:equation:malq201200067-math-0002 such that κ1 is λ‐supercompact and λ is inaccessible, there is a model for level by level inequivalence between strong compactness and supercompactness containing a supercompact cardinal urn:x-wiley:09425616:malq201200067:equation:malq201200067-math-0003 in which κ’s strong compactness, but not supercompactness, is indestructible under κ‐directed closed forcing. In this model, κ is the least strongly compact cardinal, and no cardinal is supercompact up to an inaccessible cardinal.
Keywords:Supercompact cardinal  strongly compact cardinal  Mahlo cardinal  indestructibility  level by level inequivalence between strong compactness and supercompactness    í  krý  forcing    í  krý  sequence  non‐reflecting stationary set of ordinals  lottery sum  03E35  03E55
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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