Strong tree Properties for two successive cardinals
Logic
2011-12-15 v5
Abstract
An inaccessible cardinal is supercompact when -ITP holds for all We prove that if there is a model of with two supercompact cardinals, then there is a model of \ZFC where simultaneously -ITP and -ITP hold, for all and
Cite
@article{arxiv.1110.6736,
title = {Strong tree Properties for two successive cardinals},
author = {Laura Fontanella},
journal= {arXiv preprint arXiv:1110.6736},
year = {2011}
}