Club stationary reflection and the special Aronszajn tree property

Omer Ben-Neria*, Thomas Gilton

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We prove that it is consistent that Club Stationary Reflection and the Special Aronszajn Tree Property simultaneously hold on, thereby contributing to the study of the tension between compactness and incompactness in set theory. The poset which produces the final model follows the collapse of an ineffable cardinal first with an iteration of club adding (with anticipation) and second with an iteration specializing Aronszajn trees. In the first part of the paper, we prove a general theorem about specializing Aronszajn trees on after forcing with what we call -Strongly Proper posets, where is either the weakly compact filter or the filter dual to the ineffability ideal. This type of poset, of which the Levy collapse is a degenerate example, uses systems of exact residue functions to create many strongly generic conditions. We prove a new result about stationary set preservation by quotients of this kind of poset; as a corollary, we show that the original Laver-Shelah model, which starts from a weakly compact cardinal, satisfies a strong stationary reflection principle, although it fails to satisfy the full Club Stationary Reflection. In the second part, we show that the composition of collapsing and club adding (with anticipation) is an -Strongly Proper poset. After proving a new result about Aronszajn tree preservation, we show how to obtain the final model.

Original languageAmerican English
Pages (from-to)854-911
Number of pages58
JournalCanadian Journal of Mathematics
Volume75
Issue number3
DOIs
StatePublished - 13 Jun 2023

Bibliographical note

Publisher Copyright:
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Canadian Mathematical Society.

Keywords

  • 03E05 03E35

Fingerprint

Dive into the research topics of 'Club stationary reflection and the special Aronszajn tree property'. Together they form a unique fingerprint.

Cite this