No CrossRef data available.
Article contents
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS
Published online by Cambridge University Press: 14 February 2022
Abstract
We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals
$\kappa $
, updating some classical constructions in the process. This includes models of
$\mathsf {CSR}(\kappa ^{++})\wedge {\sf TP}(\kappa ^{++})$
(both with and without
${\sf AP}(\kappa ^{++})$
) and models of the conjunctions
${\sf SR}(\kappa ^{++}) \wedge \mathsf {wTP}(\kappa ^{++}) \wedge {\sf AP}(\kappa ^{++})$
and
$\neg {\sf AP}(\kappa ^{++}) \wedge {\sf SR}(\kappa ^{++})$
(the latter was originally obtained in joint work by Krueger and the first author [9], and is here given using different methods). Analogs of these results with the failure of
$\sf {SH}(\kappa ^{++})$
are given as well. Finally, we obtain all of our results with an arbitrarily large
$2^\kappa $
, applying recent joint work by Honzik and the third author.
Keywords
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2268.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2269.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2270.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2271.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2272.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2273.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230526004624916-0644:S0022481222000135:S0022481222000135_inline2274.png?pub-status=live)