A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. Full Reflection states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than κ having the Mitchell order κ++ it is consistent that Full Reflection (...) holds at every λ ≤ κ and κ is measurable. (shrink)

We construct a model where every increasing ω-sequence of regular cardinals carries a mutually stationary sequence which is not tightly stationary, and show that this property is preserved under a class of Prikry-type forcings. Along the way, we give examples in the Cohen and Prikry models of ω-sequences of regular cardinals for which there is a non-tightly stationary sequence of stationary subsets consisting of cofinality ω_1 ordinals, and show that such stationary sequences are mutually stationary in the presence of interleaved (...) supercompact cardinals. (shrink)