Reflecting Stationary Sets
Magidor, Menachem
J. Symbolic Logic, Tome 47 (1982) no. 1, p. 755-771 / Harvested from Project Euclid
We prove that the statement "For every pair $A, B$, stationary subsets of $\omega_2$, composed of points of cofinality $\omega$, there exists an ordinal $\alpha$ such that both $A \cap \alpha$ and $B \bigcap \alpha$ are stationary subsets of $\alpha$" is equiconsistent with the existence of weakly compact cardinal. (This completes results of Baumgartner and Harrington and Shelah.) We also prove, assuming the existence of infinitely many supercompact cardinals, the statement "Every stationary subset of $\omega_{\omega + 1}$ has a stationary initial segment."
Publié le : 1982-12-14
Classification: 
@article{1183741137,
     author = {Magidor, Menachem},
     title = {Reflecting Stationary Sets},
     journal = {J. Symbolic Logic},
     volume = {47},
     number = {1},
     year = {1982},
     pages = { 755-771},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741137}
}
Magidor, Menachem. Reflecting Stationary Sets. J. Symbolic Logic, Tome 47 (1982) no. 1, pp.  755-771. http://gdmltest.u-ga.fr/item/1183741137/