Partial strong compactness and squares

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

Yair Hayut

Publication date: 31 July 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Indescribable cardinals and elementary embeddings
• Indexed squares
• On the role of supercompact and extendible cardinals in logic
• Title not available (Why is that?)
• On the strong equality between supercompactness and strong compactness
• On \(\kappa\)-compact cardinals
• Stacking mice
• Equiconsistencies at subcompact cardinals
• Square in core models
• On \(\omega_1\)-strongly compact cardinals
• Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles
• On a Conjecture of R. Rado
• Title not available (Why is that?)
• Rado’s Conjecture and its Baire version

Cited In (9)

• SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS
• \(G_\delta\)-covers and \(\omega_1\)-strongly compact cardinals
• Strong Fréchet properties of spaces constructed from squares and AD families
• Tameness, powerful images, and large cardinals
• Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
• A note on the normal filters extension property
• The variety of projections of a tree Prikry forcing
• On \(\kappa\)-compact cardinals
• Square below a non-weakly compact cardinal

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)