Strong tree Properties for two successive cardinals [article]

Laura Fontanella
2011 arXiv   pre-print
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 where simultaneously (_2, μ)-ITP and (_3, μ')-ITP hold, for all μ≥_2 and μ'≥_3.
arXiv:1110.6736v5 fatcat:iiaryjhxybgn7d3cmct46ji44u