A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees

John Krueger, Šárka Stejskalová

Assuming the negation of Chang's conjecture, there is a c.c.c. forcing which adds a strongly non-saturated Aronszajn tree. Using a Mahlo cardinal, we construct a model in which the…