首页 | 官方网站   微博 | 高级检索  
     


The tree property and the continuum function below
Abstract:We say that a regular cardinal κ, urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0003, has the tree property if there are no κ‐Aronszajn trees; we say that κ has the weak tree property if there are no special κ‐Aronszajn trees. Starting with infinitely many weakly compact cardinals, we show that the tree property at every even cardinal urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0004, urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0005, is consistent with an arbitrary continuum function below urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0006 which satisfies urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0007, urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0008. Next, starting with infinitely many Mahlo cardinals, we show that the weak tree property at every cardinal urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0009, urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0010, is consistent with an arbitrary continuum function below urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0011 which satisfies urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0012, urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0013. Thus the tree property has no provable effect on the continuum function below urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0014 except for the trivial requirement that the tree property at urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0015 implies urn:x-wiley:09425616:media:malq201600028:malq201600028-math-0016 for every infinite κ.
Keywords:
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号