Partitioning a reflecting stationary set

@article{Levine2020PartitioningAR,
  title={Partitioning a reflecting stationary set},
  author={Maxwell Levine and Assaf Rinot},
  journal={Proceedings of the American Mathematical Society},
  year={2020}
}
We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer that it is never the case that there exists a singular cardinal all of whose scales are very good. 
3 Citations
Knaster and friends II: The C-sequence number
TLDR
The C-sequence number is introduced, a new cardinal characteristic which can be seen as a measure of the compactness of a regular uncountable cardinal, and a number of ZFC and independence results are proved about its relationship with large cardinals, stationary reflection, and square principles.
Was Ulam right? I: Basic theory and subnormal ideals
We introduce various colouring principles which generalise the socalled onto mapping principle of Sierpiński to larger cardinals and general ideals. We prove that these principles capture the notion
Was Ulam right? II: Small width and general ideals
We continue our study of Sierpiński-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon

References

SHOWING 1-10 OF 16 REFERENCES
Reflecting Stationary Sets
We prove that the statement “For every pair A, B , stationary subsets of ω 2 , composed of points of cofinality ω , there exists an ordinal α such that both A ∩ α and B ∩ α are stationary subsets of
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
Reflecting stationary sets and successors of singular cardinals
TLDR
It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets, and that under suitable assumptions it is consistent that REF and there is a κ which is κ+n-supercompact.
A consistency result on weak reflection
In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that
Diagonal Prikry extensions
TLDR
In inner model theory there are many theorems of the general form “if there is no inner model of large cardinal hypothesis X then there is an L-like inner model Kx which Y covers V”, which always include GCH and Global Square.
Successors of Singular Cardinals
Successors of singular cardinals are a peculiar—although they are successor cardinals, they can still exhibit some of the behaviors typically associated with large cardinals. In this chapter, we
Some consequences of reflection on the approachability ideal
We study the approachability ideal I[κ + ] in the context of large cardinals and properties of the regular cardinals below a singular κ. As a guiding example consider the approachability ideal I(ℵ
Chain conditions of Products, and Weakly Compact Cardinals
TLDR
It is proved that for every regular cardinal $\kappa > \aleph _1 {\rm{,}}$ the principle □( k ) is equivalent to the existence of a certain strong coloring $c\,:\,[k]^2 \, \to $ k for which the family of fibers ${\cal T}\left( c \right)$ is a nonspecial κ -Aronszajn tree.
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
TLDR
The second edition of a well-established monograph on the identification of a canonical model in which the Continuum Hypothesis is false is updated to take into account some of the developments in the decade since the first edition appeared.
On SCH and the approachability property
We construct a model of ¬ SCH + ¬ AP+ (Very Good Scale). This answers questions of Cummings, Foreman, Magidor and Woodin.
...
...