An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda >= kappa. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously (N-2, mu)-ITP and (N-3, mu')-ITP hold, for all mu >= N-2 and mu' >= N-3.
机构:
Univ Paris 07, IMJ, Equipe Log Math, UFR Math Case 7012, F-75205 Paris 13, FranceUniv Paris 07, IMJ, Equipe Log Math, UFR Math Case 7012, F-75205 Paris 13, France
机构:
Univ Paris 07, Equipe Log Math, UFR Math Case 7012, F-75205 Paris 13, France
Univ Vienna, Dept Math, Kurt Godel Res Ctr Math Log, A-1090 Vienna, AustriaUniv Paris 07, Equipe Log Math, UFR Math Case 7012, F-75205 Paris 13, France