Partial strong compactness and squares

Yair Hayut*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

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κ,κ. Using this equivalence we show that if any κ-complete filter on λ can be extended to a κ-complete ultrafilter and λ = λ then (µ) fails for all regular µ ∈ [κ, 2λ]. As an application, we improve the lower bound for the consistency strength of κ-compactness, a case which was explicitly considered by Mitchell.

Original languageAmerican English
Pages (from-to)193-204
Number of pages12
JournalFundamenta Mathematicae
Volume246
Issue number2
DOIs
StatePublished - 2019
Externally publishedYes

Bibliographical note

Publisher Copyright:
© Instytut Matematyczny PAN, 2019

Keywords

  • Infinitary logic
  • Strong compactness

Fingerprint

Dive into the research topics of 'Partial strong compactness and squares'. Together they form a unique fingerprint.

Cite this