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.

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

• scientific article; zbMATH DE number 3496166 (Why is no real title available?)
• scientific article; zbMATH DE number 3503245 (Why is no real title available?)
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Chain conditions of products, and weakly compact cardinals
• 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

(13)

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

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)