References & Citations
Mathematics > Logic
Title: Many forcing axioms for all regular uncountable cardinals
(Submitted on 12 Jul 2021 (v1), last revised 1 Mar 2022 (this version, v2))
Abstract: A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing notion for~$\lambda$" we shall say "for every such family of forcing notions, depending on stationary $S\subseteq \lambda$, for some such stationary set we have\dots". Such notions of forcing are important for Abelian group theory, but this application is delayed for a sequel.
Submission history
From: Noam Greenberg [view email][v1] Mon, 12 Jul 2021 21:58:34 GMT (42kb)
[v2] Tue, 1 Mar 2022 03:21:13 GMT (42kb)
Link back to: arXiv, form interface, contact.