Forcing axiom failure for any lambda>aleph₁
Shelah, Saharon
Original · EN
David Aspero asks on the possibility of having Forcing axiom FAaleph₂(K), where K is the class of forcing notions preserving stationarity of subsets of aleph₁ and of aleph₂. We answer negatively, in fact we show the negative result for any regular lambda>aleph₁ even demanding adding no new sequence of ordinals of length<lambda.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.