English

Partial strong compactness and squares

Logic 2018-09-18 v2

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 Lκ,κ\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 λ<κ=λ\lambda^{<\kappa} = \lambda then (μ)\square(\mu) fails for all regular μ[κ,2λ]\mu\in[\kappa,2^\lambda]. As an application, we improve the lower bound for the consistency strength of κ\kappa-compactness, a case which was explicitly considered by Mitchell.

Keywords

Cite

@article{arxiv.1804.05758,
  title  = {Partial strong compactness and squares},
  author = {Yair Hayut},
  journal= {arXiv preprint arXiv:1804.05758},
  year   = {2018}
}
R2 v1 2026-06-23T01:25:05.511Z