Forcing axiom failure for any lambda>aleph_1
Logic
2007-05-23 v1
Abstract
David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result for any regular lambda>aleph_1 even demanding adding no new sequence of ordinals of length<lambda.
Keywords
Cite
@article{arxiv.math/0112286,
title = {Forcing axiom failure for any lambda>aleph_1},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0112286},
year = {2007}
}