A note on the eightfold way [article]

Thomas Gilton, John Krueger
2019 arXiv   pre-print
Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an ω_2-Aronszajn tree, the ω_1-approachability property fails, and every stationary subset of ω_2 ∩cof(ω) reflects.
arXiv:1901.02940v2 fatcat:nvtbv746kzdj5bhqar3mmvlca4