Club stationary reflection and the special Aronszajn tree property

DOI10.4153/S0008414X22000207MaRDI QIDQ6041838zbMATH OpenOpenAlexFDO

Authors Omer Ben-Neria, Thomas Gilton

Publication date 15 May 2023

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2101.07703

zbMATH Keywords

Aronszajn treescompactnessforcingspecializationstationary reflection

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Abstract: We prove that it is consistent that Club Stationary Reflection and the Special Aronszajn Tree Property simultaneously hold on $omeg{a}_2$, 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 $omeg{a}_2$ after forcing with what we call $mathcalF$-Strongly Proper posets, where $mathcalF$ 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, though 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 $mathcalF$-Strongly Proper poset. After proving a new result about Aronszajn tree preservation, we show how to obtain the final model.

Cites work

• A new class of order types
• A new Löwenheim-Skolem theorem
• Abraham–Rubin–Shelah open colorings and a large continuum
• Aronszajn trees and the independence of the transfer property
• Chain conditions of products, and weakly compact cardinals
• Club isomorphisms on higher Aronszajn trees
• Coherent sequences
• Combinatorial principles in the core model for one Woodin cardinal
• Diamonds, compactness, and measure sequences
• Embedding Trees in the Rationals
• Fragility and indestructibility of the tree property
• Full reflection of stationary sets below ℵ_ω
• Higher Souslin trees and the GCH, revisited
• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• scientific article; zbMATH DE number 3489124 (Why is no real title available?)
• scientific article; zbMATH DE number 3023012 (Why is no real title available?)
• Indescribable cardinals and elementary embeddings
• Indexed squares
• Isomorphism types of Aronszajn trees
• More on full reflection below \({\aleph_\omega}\)
• On forcing without the continuum hypothesis
• Quotients of strongly proper forcings and guessing models
• Reflecting stationary sets
• Reflection implies the SCH
• Simultaneous stationary reflection and square sequences
• Small models, large cardinals, and induced ideals
• Some exact equiconsistency results in set theory
• Square and delta reflection
• Squares, scales and stationary reflection
• Sur un problème de Sikorski
• The fine structure of the constructible hierarchy
• The special Aronszajn tree property
• The tree property at successors of singular cardinals
• The ℵ 2 \1-Souslin Hypothesis
• Weak compactness and no partial squares
• Weak square sequences and special Aronszajn trees
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

Cited in

(1)

• Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)

This page was built for publication: Club stationary reflection and the special Aronszajn tree property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041838)