Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse

Mathematical Logic Quarterly 66 (3):259-279 (2020)
  Copy   BIBTEX

Abstract

We improve on results and constructions by Apter, Dimitriou, Gitik, Hayut, Karagila, and Koepke concerning large cardinals, ultrafilters, and cofinalities without the axiom of choice. In particular, we show the consistency of the following statements from certain assumptions: the first supercompact cardinal can be the first uncountable regular cardinal, all successors of regular cardinals are Ramsey, every sequence of stationary sets in is mutually stationary, an infinitary Chang conjecture holds for the cardinals, and all are singular. In each of the cases, our results either weaken the hypotheses or strengthen the conclusions of known proofs.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201800018

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Good and bad points in scales.Chris Lambie-Hanson - 2014 - Archive for Mathematical Logic 53 (7):749-777.
Time Reversal Symmetry and Collapse Models.D. J. Bedingham & O. J. E. Maroney - 2017 - Foundations of Physics 47 (5):670-696.
Symmetric versions of explicit wavefunction collapse models.Chris Dove & Evan J. Squires - 1995 - Foundations of Physics 25 (9):1267-1282.
Diamond, scales and GCH down to $$\aleph _{\omega ^2}$$ ℵ ω 2.Jin Du - 2019 - Archive for Mathematical Logic 58 (3-4):427-442.
A Gitik Iteration With Nearly Easton Factoring.William Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
A model with a precipitous ideal, but no normal precipitous ideal.Moti Gitik - 2013 - Journal of Mathematical Logic 13 (1):1250008.
Elementary Extensions of Levy's Model of $A_{2}^{-}$.Wojciech Guzicki - 1974 - Synthese 27 (1):265-270.
A Minimal Counterexample To Universal Baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
A model with a measurable which does not carry a normal measure.Eilon Bilinsky & Moti Gitik - 2012 - Archive for Mathematical Logic 51 (7-8):863-876.
Elementary extensions of Levy's model ofa2−.Wojciech Guzicki - 1974 - Synthese 27 (1-2):265 - 270.
On almost precipitous ideals.Asaf Ferber & Moti Gitik - 2010 - Archive for Mathematical Logic 49 (3):301-328.
A Gitik iteration with nearly Easton factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Levy and set theory.Akihiro Kanamori - 2006 - Annals of Pure and Applied Logic 140 (1):233-252.
A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.

Analytics

Added to PP
2020-10-02

Downloads
15 (#968,256)

6 months
8 (#407,549)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
The consistency strength of the free-subset property for ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.

View all 11 references / Add more references