Strong Tree Properties for Small Cardinals
Logic
2012-05-21 v3
Abstract
An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every natural number n greater than 1 and for every ordinal mu greater than or equal to aleph_n, we have (aleph_n, mu)-ITP.
Keywords
Cite
@article{arxiv.1201.6673,
title = {Strong Tree Properties for Small Cardinals},
author = {Laura Fontanella},
journal= {arXiv preprint arXiv:1201.6673},
year = {2012}
}
Comments
arXiv admin note: text overlap with arXiv:1110.6736