Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Gilton, Thomas, Stejskalová, Šárka
Format: Preprint
Published: 2022
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929456149430272
author Gilton, Thomas
Stejskalová, Šárka
author_facet Gilton, Thomas
Stejskalová, Šárka
contents In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which satisfy the tree property and club stationary reflection at these double successors. Moreover, we can additionally obtain either approachability or its failure. We also show how to obtain our results on $\aleph_{ω+2}$ by incorporating collapses; particularly relevant for these circumstances is a new indestructibility theorem of ours showing that posets satisfying certain linked assumptions preserve club stationary reflection.
format Preprint
id arxiv_https___arxiv_org_abs_2212_01198
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
Gilton, Thomas
Stejskalová, Šárka
Logic
In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which satisfy the tree property and club stationary reflection at these double successors. Moreover, we can additionally obtain either approachability or its failure. We also show how to obtain our results on $\aleph_{ω+2}$ by incorporating collapses; particularly relevant for these circumstances is a new indestructibility theorem of ours showing that posets satisfying certain linked assumptions preserve club stationary reflection.
title Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
topic Logic
url https://arxiv.org/abs/2212.01198