Tree property at the first and double successors with arbitrary gaps, part 2

יום ב', 03/06/2019 - 13:00
Speaker:
Seminar:
Place:
Abstract:
In this talk we shall present a proof of the consistency, modulo suitable large cardinals assumptions, of the following theory:
"There is a strong limit cardinal \kappa with cof(\kappa)>\aleph_0 such that TP(\kappa^+) and TP(\kappa^{++}) hold and 2^\kappa is arbitrarily large"
Here by arbitrarily large we mean that 2^\kappa can be any cardinal \gamma\geq \kappa^{++} with cof(\gamma)>\kappa.The proof relies on ideas of Sinapova, Unger and Friedman-Honzik-Stejskalová and provides a generalization to two results of Sinapova and Friedman-Honzik-Stejskalová, respectively.