Forcing axiom failure for any lambda>aleph1
Saharon Shelah
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.
Create a lesson
Related papers
Logarithmic--exponential preparation in sharply o-minimal structures
Gal Binyamini, Oded Carmon, Dmitry Novikov
Stoic Logic and Natural Term Logic
Clarence Lewis Protin
From raw Solvability Complexity Index proofs to Weihrauch degrees
Christopher Sorg
Existence of bases implies the axiom of choice, a foundation-free proof
Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues
Every countable meet-continuous lattice is Scott sober
Xiaoquan Xu, Wei Ji
A minimal type of Morley rank ω in a partial differential field
Piotr Kowalski