Showing math.LOShow all
2 papers · 1 filter
math.LO2025
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…
math.LO2014
Coherent Adequate Forcing and Preserving CH
John Krueger, Miguel Angel Mota
We develop a general framework for forcing with coherent adequate sets on as side conditions, where is a cardinal of uncountable cofinality. We describe a class o…