Square and delta reflection

DOI10.1016/J.APAL.2016.04.002MaRDI QIDQ287476zbMATH OpenOpenAlexFDO

Authors Laura Fontanella, Yair Hayut

Publication date 20 May 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcinglarge cardinalsreflection principlessquare

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Abstract: Starting from infinitely many supercompact cardinals, we force a model of ZFC where $alep{h}_{omeg{a}^2+1}$ satisfies simultaneously a strong principle of reflection, called $Delta$-reflection, and a version of the square principle, denoted $square(alep{h}_{omeg{a}^2+1}).$ Thus we show that $alep{h}_{omeg{a}^2+1}$ can satisfy simultaneously a strong reflection principle and an anti-reflection principle.

Review text

The \(\Delta\)-reflection principle is a strong reflection principle introduced by \textit{M. Magidor} and \textit{S. Shelah} [J. Am. Math. Soc. 7, No. 4, 769--830 (1994; Zbl 0819.20059)]. It implies various interesting structural properties, in particular, the stationary reflection principle. It is known that assuming the existence of infinitely many supercompact cardinals, it is consistent that \(\aleph_{\omega^2+1}\) is the smallest regular cardinal that can have the \(\Delta\)-reflection.NEWLINENEWLINEThe principle \(\square(\kappa)\) is a variant of Jensen's square introduced by \textit{S. Todorcevic} [Acta Math. 159, 261--294 (1987; Zbl 0658.03028)]. It is a typical anti-reflection principle. Although the \(\Delta\)-reflection implies the failure of the weak square \(\square^*_\kappa\), a weaker version of \(\square_\kappa\), in this article, under the assumption of infinitely many supercompact cardinals, the authors constructed a model in which the \(\Delta\)-reflection principle holds at \(\aleph_{\omega^2+1}\) together with the square principle \(\square_{\omega^2+1}\).

Recommendations

• Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
• On the weak reflection principle
• The semi-weak square principle
• Reflection principles for _2 and the semi-stationary reflection principle
• Square below a non-weakly compact cardinal

Cites work

• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Chain conditions of products, and weakly compact cardinals
• scientific article; zbMATH DE number 3496166 (Why is no real title available?)
• scientific article; zbMATH DE number 3503245 (Why is no real title available?)
• Jensen's ⃞ principles and the Novák number of partially ordered sets
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the Existence of κ-Free Abelian Groups
• Partitioning pairs of countable ordinals
• Squares, scales and stationary reflection
• The fine structure of the constructible hierarchy
• The theory of semisets
• Weakly Compact Cardinals and Nonspecial Aronszajn Trees
• When Does Almost Free Imply Free? (For Groups, Transversals, etc.)

Cited in

(14)

• Weak square and stationary reflection
• Diagonal reflections on squares
• Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)
• More notions of forcing add a Souslin tree
• Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
• Squares, scales and stationary reflection
• On the weak reflection principle
• Partial square at \(\omega _1\) is implied by MM but not by PFA
• The non-compactness of square
• Subcompact cardinals, squares, and stationary reflection
• Simultaneous stationary reflection and square sequences
• Club stationary reflection and the special Aronszajn tree property
• Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)
• More on full reflection below \({\aleph_\omega}\)

This page was built for publication: Square and delta reflection

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