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

Mathematics > Logic

Title: Closure properties of measurable ultrapowers

Abstract: We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with non-minimal closure properties.
Comments: 22 pages
Subjects: Logic (math.LO)
MSC classes: 03E55, 03E05, 03E35, 03E45
Journal reference: J. symb. log. 86 (2021) 762-784
DOI: 10.1017/jsl.2021.29
Cite as: arXiv:2009.09530 [math.LO]
  (or arXiv:2009.09530v1 [math.LO] for this version)

Submission history

From: Philipp Lücke [view email]
[v1] Sun, 20 Sep 2020 21:45:26 GMT (24kb)

Link back to: arXiv, form interface, contact.