Forcing axiom failure for any lambda>aleph1
Abstract
David Aspero asks on the possibility of having Forcing axiom FAaleph2(K), where K is the class of forcing notions preserving stationarity of subsets of aleph1 and of aleph2. We answer negatively, in fact we show the negative result for any regular lambda>aleph1 even demanding adding no new sequence of ordinals of length<lambda.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.