Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778131 | Annals of Pure and Applied Logic | 2017 | 95 Pages |
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 Ï2â©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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Thomas Gilton, John Krueger,