Skip to main navigation Skip to search Skip to main content

Partial strong compactness and squares

  • Yair Hayut

Publications: Contribution to journalArticlePeer Reviewed

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 languageEnglish
Pages (from-to)193-204
Number of pages12
JournalFundamenta Mathematicae
Volume246
Issue number2
DOIs
Publication statusPublished - 2019

Austrian Fields of Science 2012

  • 101013 Mathematical logic

Keywords

  • logic
  • CARDINALS
  • strong compactness
  • infinitary logic
  • CONJECTURE
  • Infinitary logic
  • Strong compactness

Fingerprint

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

Cite this