We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Many forcing axioms for all regular uncountable cardinals

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.
Subjects: Logic (math.LO)
MSC classes: 03E65
Cite as: arXiv:2107.05755 [math.LO]
  (or arXiv:2107.05755v2 [math.LO] for this version)

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.