Mitchell's Theorem Revisited

Mitchell's theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no stationary subset of $ω_2 \cap \mathrm{cof}(ω_1)$ in the approachability ideal $I[ω_2]$. In this paper we give a new proof of Mitchell's theorem, deriving it from an abstract framework of side condition methods.

No reviews yet.

No comments yet.