Separating stationary reflection principles

摘要

We present a variety of (ω_1, ∞)-distributive forcings which when applied to models of Martin's Maximum separate certain well known reflection principles. In particular, we do this for the reflection principles SR. SR_α (α ≤ ω_1), and SRP.