Bounded dagger principles
For an uncountable cardinal κ, let (†)κ be the assertion that every ω1‐stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated.
Saved in:
| Published in | Mathematical logic quarterly Vol. 60; no. 4-5; pp. 266 - 272 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Berlin
Blackwell Publishing Ltd
01.08.2014
Wiley Subscription Services, Inc |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Summary: | For an uncountable cardinal κ, let (†)κ be the assertion that every ω1‐stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated. |
|---|---|
| Bibliography: | istex:F92AA70EE83B85B193B97FF6ECB4D04ED55A727B ArticleID:MALQ201300019 ark:/67375/WNG-D7CT9S73-P |
| ISSN: | 0942-5616 1521-3870 |
| DOI: | 10.1002/malq.201300019 |