Partial strong compactness and squares

DOI10.4064/FM626-9-2018zbMATH Open1480.03050OpenAlexW2964216909WikidataQ128261374 ScholiaQ128261374MaRDI QIDQ5226509FDOQ5226509

Authors Yair Hayut 

Publication date 31 July 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

strong compactnessinfinitary logic

Mathematics Subject Classification ID

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

Abstract: In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $mathcal{L}_{kappa,kappa}$. Using this equivalence we show that if any $kappa$-complete filter on $lambda$ can be extended to a $kappa$-complete ultrafilter and $lambd{a}^{<kappa}=lambda$ then $square(mu)$ fails for all regular $muin[kappa,2^{l}ambda]$. As an application, we improve the lower bound for the consistency strength of $kappa$-compactness, a case which was explicitly considered by Mitchell.

Recommendations

• Square compactness and the filter extension property
• Square in core models
• Subcompact cardinals, squares, and stationary reflection
• Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
• Weak square bracket relations for P_κ(λ)

Cites work

• scientific article; zbMATH DE number 3685484 (Why is no real title available?)
• scientific article; zbMATH DE number 3496166 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 887781 (Why is no real title available?)
• Equiconsistencies at subcompact cardinals
• Indescribable cardinals and elementary embeddings
• Indexed squares
• On \(\kappa\)-compact cardinals
• On \(\omega_1\)-strongly compact cardinals
• On a Conjecture of R. Rado
• On the role of supercompact and extendible cardinals in logic
• On the strong equality between supercompactness and strong compactness
• Rado's conjecture and its Baire version
• Square in core models
• Stacking mice
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles

Cited in

(11)

• Tameness, powerful images, and large cardinals
• Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
• The variety of projections of a tree Prikry forcing
• \(G_\delta\)-covers and \(\omega_1\)-strongly compact cardinals
• A note on the normal filters extension property
• On \(\kappa\)-compact cardinals
• Strong Fréchet properties of spaces constructed from squares and AD families
• Square below a non-weakly compact cardinal
• Weak compactness and no partial squares
• Subcompact cardinals, type omission, and ladder systems
• Square compactness and the filter extension property

This page was built for publication: Partial strong compactness and squares

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