Mitchell's Theorem Revisited
Logic
2016-11-10 v3
Abstract
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 in the approachability ideal . In this paper we give a new proof of Mitchell's theorem, deriving it from an abstract framework of side condition methods.
Cite
@article{arxiv.1506.01983,
title = {Mitchell's Theorem Revisited},
author = {Thomas Gilton and John Krueger},
journal= {arXiv preprint arXiv:1506.01983},
year = {2016}
}