On the cofinality of the least λ-strongly compact cardinal

Zhixing You; Jiachen Yuan

doi:10.1017/jsl.2023.4

On the cofinality of the least λ-strongly compact cardinal

Zhixing You, Jiachen Yuan

Logic

Research output: Contribution to journal › Article › peer-review

14 Downloads (Pure)

Abstract

In this paper, we characterize the possible cofinalities of the least λ-strongly compact cardinal.We show that, on the one hand, for any regular cardinal, δ, that carries a λ-complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above δ, that the least λ-strongly compact cardinal has cofinality δ. On the other hand, provably the cofinality of the least λ-strongly compact cardinal always carries a λ-complete uniform ultrafilter.

Original language	English
Pages (from-to)	569-582
Number of pages	14
Journal	Journal of Symbolic Logic
Volume	89
Issue number	2
Early online date	19 Jan 2023
DOIs	https://doi.org/10.1017/jsl.2023.4
Publication status	Published - Jun 2024

Keywords

Cofinality
Iterated ultrapower
Radin forcing
λ-strongly compact cardinal
03E35 03E55

Access to Document

10.1017/jsl.2023.4

on-the-cofinality-of-the-least-l-strongly-compact-cardinalAccepted author manuscript, 465 KB

Cite this

@article{c738ead5d19749679605f7e75232fba4,

title = "On the cofinality of the least λ-strongly compact cardinal",

abstract = "In this paper, we characterize the possible cofinalities of the least λ-strongly compact cardinal.We show that, on the one hand, for any regular cardinal, δ, that carries a λ-complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above δ, that the least λ-strongly compact cardinal has cofinality δ. On the other hand, provably the cofinality of the least λ-strongly compact cardinal always carries a λ-complete uniform ultrafilter.",

keywords = "Cofinality, Iterated ultrapower, Radin forcing, λ-strongly compact cardinal, 03E35 03E55",

author = "Zhixing You and Jiachen Yuan",

note = "Funding Information: During the work, the first author was supported by NSFC No. 11871464 until July 2022 and the China Scholarship Council (No. 202004910742) from October 2020 to October 2021. The first author was also supported by the European Research Council (grant agreement ERC-2018-StG 802756) from July 2022. The second author was supported by UKRI Future Leaders Fellowship [MR/T021705/2]. ",

year = "2024",

month = jun,

doi = "10.1017/jsl.2023.4",

language = "English",

volume = "89",

pages = "569--582",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - On the cofinality of the least λ-strongly compact cardinal

AU - You, Zhixing

AU - Yuan, Jiachen

N1 - Funding Information: During the work, the first author was supported by NSFC No. 11871464 until July 2022 and the China Scholarship Council (No. 202004910742) from October 2020 to October 2021. The first author was also supported by the European Research Council (grant agreement ERC-2018-StG 802756) from July 2022. The second author was supported by UKRI Future Leaders Fellowship [MR/T021705/2].

PY - 2024/6

Y1 - 2024/6

N2 - In this paper, we characterize the possible cofinalities of the least λ-strongly compact cardinal.We show that, on the one hand, for any regular cardinal, δ, that carries a λ-complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above δ, that the least λ-strongly compact cardinal has cofinality δ. On the other hand, provably the cofinality of the least λ-strongly compact cardinal always carries a λ-complete uniform ultrafilter.

AB - In this paper, we characterize the possible cofinalities of the least λ-strongly compact cardinal.We show that, on the one hand, for any regular cardinal, δ, that carries a λ-complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above δ, that the least λ-strongly compact cardinal has cofinality δ. On the other hand, provably the cofinality of the least λ-strongly compact cardinal always carries a λ-complete uniform ultrafilter.

KW - Cofinality

KW - Iterated ultrapower

KW - Radin forcing

KW - λ-strongly compact cardinal

KW - 03E35 03E55

UR - http://www.scopus.com/inward/record.url?scp=85146637950&partnerID=8YFLogxK

U2 - 10.1017/jsl.2023.4

DO - 10.1017/jsl.2023.4

M3 - Article

VL - 89

SP - 569

EP - 582

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 2

ER -

On the cofinality of the least λ-strongly compact cardinal

Abstract

Keywords

Access to Document

Other files and links

Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms

Cite this

On the cofinality of the least λ-strongly compact cardinal

Abstract

Keywords

Access to Document

Other files and links

Projects

Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms

Cite this