Separating stationary reflection principles
Journal of Symbolic Logic 65 (1):247-258 (2000)
| Abstract | 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHiroshi Sakai (2008). Semistationary and Stationary Reflection. Journal of Symbolic Logic 73 (1):181-192.
C. A. Johnson (1989). On Ideals and Stationary Reflection. Journal of Symbolic Logic 54 (2):568-575.
Thomas Jech & Saharon Shelah (1990). Full Reflection of Stationary Sets Below ℵω. Journal of Symbolic Logic 55 (2):822 - 830.
Christian Rüede (2002). Transfinite Dependent Choice and Ω-Model Reflection. Journal of Symbolic Logic 67 (3):1153-1168.
Kevin Scharp (2008). Locke's Theory of Reflection. British Journal for the History of Philosophy 16 (1):25 – 63.
Jonathan Weisberg (2007). Conditionalization, Reflection, and Self-Knowledge. Philosophical Studies 135 (2):179-97.
J. Ketland (2010). Truth, Conservativeness, and Provability: Reply to Cieslinski. Mind 119 (474):423-436.
Robert E. Beaudoin (1987). Strong Analogues of Martin's Axiom Imply Axiom R. Journal of Symbolic Logic 52 (1):216-218.
Thomas Jech & Jiří Witzany (1994). Full Reflection at a Measurable Cardinal. Journal of Symbolic Logic 59 (2):615-630.
Jiří Witzany (1995). Possible Behaviours of the Reflection Ordering of Stationary Sets. Journal of Symbolic Logic 60 (2):534-547.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
