- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Diamond, scales and GCH down to $$\aleph _{\omega ^2}$$ ℵ ω 2
Archive for Mathematical Logic 58 (3-4):427-442 (2019)
Abstract
Gitik and Rinot :1771–1795, 2012) proved assuming the existence of a supercompact that it is consistent to have a strong limit cardinal \ of countable cofinality such that \, there is a very good scale at \, and \ fails along some reflecting stationary subset of \\). In this paper, we force over Gitik and Rinot’s model but with a modification of Gitik–Sharon :311, 2008) diagonal Prikry forcing to get this result for \.My notes
Similar books and articles
The consistency strength of choiceless failures of SCH.Arthur W. Apter & Peter Koepke - 2010 - Journal of Symbolic Logic 75 (3):1066-1080.
AD[syntactic turnstile] the [aleph]"n" are Jonsson cardinals and [aleph] omega is a Rowbottom cardinal.E. M. Kleinberg - 1977 - Annals of Mathematical Logic 12 (3):229.
Possible values for 2 (aleph n) and 2 (aleph omega).Moti Gitik & Carmi Merimovich - 1997 - Annals of Pure and Applied Logic 90 (1-3):193-241.
A Complete $L{omega 1omega}$-Sentence Characterizing $mathbf{aleph}1$.Julia F. Knight - 1977 - Journal of Symbolic Logic 42 (1):59-62.
Creature forcing and five cardinal characteristics in Cichoń’s diagram.Arthur Fischer, Martin Goldstern, Jakob Kellner & Saharon Shelah - 2017 - Archive for Mathematical Logic 56 (7-8):1045-1103.
Aronszajn trees on [aleph]2 and [aleph]3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213.
On isometries of the Carathéodory and Kobayashi metrics on strongly pseudoconvex domains.Harish Seshadri & Kaushal Verma - 2006 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 5 (3):393-417.
On the Compactness of $mathbf{aleph}1$ and $mathbf{aleph}2$.C. A. Di Prisco & J. Henle - 1978 - Journal of Symbolic Logic 43 (3):394-401.
The Consistency Strength of Successive Cardinals with the Tree Property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.
The Beth-Closure of $mathscr{L}(Q_alpha)$ is Not Finitely Generated.Lauri Hella & Kerkko Luosto - 1992 - Journal of Symbolic Logic 57 (2):442-448.
Boundary regularity and compactness for overdetermined problems.Ivan Blank & Henrik Shahgholian - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (4):787-802.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
Analytics
Added to PP
2018-08-25
Downloads
25 (#598,332)
6 months
5 (#544,079)
2018-08-25
Downloads
25 (#598,332)
6 months
5 (#544,079)
Historical graph of downloads
References found in this work
Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Diagonal Prikry extensions.James Cummings & Matthew Foreman - 2010 - Journal of Symbolic Logic 75 (4):1383-1402.
A relative of the approachability ideal, diamond and non-saturation.Assaf Rinot - 2010 - Journal of Symbolic Logic 75 (3):1035-1065.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo