Abstract

Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an ω 2 \omega _2 -Aronszajn tree, the ω 1 \omega _1 -approachability property fails, and every stationary subset of ω 2 ∩ cof ( ω ) \omega _2 \cap \text {cof}(\omega ) reflects. This solves an open problem of Cummings et al. [J. Symb. Log. 83 (2018), no. 1, pp. 349–371]

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call