Incompatible bounded category forcing axioms

David Asperó, Matteo Viale

Research output: Contribution to journalArticlepeer-review

1 Downloads (Pure)

Abstract

We introduce bounded category forcing axioms for well-behaved classes Γ. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe Hλ+Γ modulo forcing in Γ, for some cardinal λΓ naturally associated to Γ. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation λΓ=ω — to classes Γ with λΓ>ω. Unlike projective absoluteness, these higher bounded category forcing axioms do not follow from large cardinal axioms but can be forced under mild large cardinal assumptions on V. We also show the existence of many classes Γ with λΓ=ω1 giving rise to pairwise incompatible theories for Hω2.
Original languageEnglish
Article number2250006
JournalJournal of Mathematical Logic
DOIs
Publication statusPublished - 22 Jun 2022

Cite this