Reflecting stationary sets and successors of singular cardinals (Q1179532)

Let \(\lambda\) be a cardinal of uncountable cofinality and let \(S\) be a stationary subset of \(\lambda\). \(S\) reflects at \(\delta\) if \(\delta<\lambda\), cf\(\delta>\omega\) and \(S\cap\delta\) is a stationary subset of \(\delta\). \(S\) reflects if it reflects at some \(\delta\). REF is the statement that every stationary subset of a cardinal reflects unless it fails to do so for trivial reasons. The author shows that supercompactness implies the existence of non-reflecting stationary sets. He shows that REF can be obtained by repeated Levy collapses starting with a suitable universe. He shows the existence of such a suitable universe using oracle forcing.