English

Strong tree Properties for two successive cardinals

Logic 2011-12-15 v5

Abstract

An inaccessible cardinal κ\kappa is supercompact when (κ,λ)(\kappa, \lambda)-ITP holds for all λκ.\lambda\geq \kappa. We prove that if there is a model of \ZFC\ZFC with two supercompact cardinals, then there is a model of \ZFC where simultaneously (2,μ)(\aleph_2, \mu)-ITP and (3,μ)(\aleph_3, \mu')-ITP hold, for all μ2\mu\geq \aleph_2 and μ3.\mu'\geq \aleph_3.

Keywords

Cite

@article{arxiv.1110.6736,
  title  = {Strong tree Properties for two successive cardinals},
  author = {Laura Fontanella},
  journal= {arXiv preprint arXiv:1110.6736},
  year   = {2011}
}