4,803 research outputs found
Subcompact cardinals, squares, and stationary reflection
We generalise Jensen's result on the incompatibility of subcompactness with
square. We show that alpha^+-subcompactness of some cardinal less than or equal
to alpha precludes square_alpha, but also that square may be forced to hold
everywhere where this obstruction is not present. The forcing also preserves
other strong large cardinals. Similar results are also given for stationary
reflection, with a corresponding strengthening of the large cardinal assumption
involved. Finally, we refine the analysis by considering Schimmerling's
hierarchy of weak squares, showing which cases are precluded by
alpha^+-subcompactness, and again we demonstrate the optimality of our results
by forcing the strongest possible squares under these restrictions to hold.Comment: 18 pages. Corrections and improvements from referee's report mad
Splitting stationary sets from weak forms of Choice
Working in the context of restricted forms of the Axiom of Choice, we
consider the problem of splitting the ordinals below of cofinality
into many stationary sets, where are
regular cardinals. This is a continuation of \cite{Sh835}
Club-guessing, stationary reflection, and coloring theorems
We obtain strong coloring theorems at successors of singular cardinals from
failures of certain instances of simultaneous reflection of stationary sets.
Along the way, we establish new results in club-guessing and in the general
theory of ideals.Comment: Initial public versio
- …