Onω1-strongly compact cardinals

Joan Bagaria, Menachem Magidor

Research output: Contribution to journalArticlepeer-review

20 Scopus citations

Abstract

An uncountable cardinal κ is called ω1-strongly compact if every κ-complete ultrafilter on any set I can be extended to an ω1-complete ultrafilter on I. We show that the first ω1-strongly compact cardinal, κ0, cannot be a successor cardinal, and that its cofinality is at least the first measurable cardinal. We prove that the Singular Cardinal Hypothesis holds above κ0. We show that the product of Lindel öf spaces is κ-Lindel öf if and only if κ ≥ κ0. Finally, we characterize κ0 in terms of second order reflection for relational structures and we give some applications. For instance, we show that every first-countable nonmetrizable space has a nonmetrizable subspace of size less than κ0.

Original languageEnglish
Pages (from-to)266-278
Number of pages13
JournalJournal of Symbolic Logic
Volume79
Issue number1
DOIs
StatePublished - 2014

Bibliographical note

Publisher Copyright:
© 2014, Association for Symbolic Logic.

Keywords

  • 1-strongly compact cardinal
  • Completely regular space
  • Countably chromatic graph
  • Lindel öf space
  • Metrizable space
  • Second-order reflection
  • Singular Cardinal Hypothesis

Fingerprint

Dive into the research topics of 'Onω1-strongly compact cardinals'. Together they form a unique fingerprint.

Cite this