Separating stationary reflection principles

Authors
Larson, P
Citation
P. Larson, Separating stationary reflection principles, J SYMB LOG, 65(1), 2000, pp. 247-258
Citations number
13
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
1
Year of publication
2000
Pages
247 - 258
Database
ISI
SICI code
0022-4812(200003)65:1<247:SSRP>2.0.ZU;2-L
Abstract
We present a variety of (omega(1), infinity)-distributive forcings which wh en applied to models of Martin's Maximum separate certain well known reflec tion principles. In particular, we do this for the reflection principles SR , SRalpha (alpha less than or equal to omega(1)), and SRP.