- 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
Diamonds, compactness, and measure sequences
Journal of Mathematical Logic 19 (1):1950002 (2019)
Abstract
We establish the consistency of the failure of the diamond principle on a cardinal [Formula: see text] which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a characterization of weak compactness of [Formula: see text] in a Radin generic extension.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Tightness, integral equicontinuity and compactness for evolution problems in Banach spaces.Riccarda Rossi & Giuseppe Savaré - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (2):395-431.
Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
On Sequentially Compact Subspaces of.Kyriakos Keremedis & Eleftherios Tachtsis - 2003 - Notre Dame Journal of Formal Logic 44 (3):175-184.
Measure, randomness and sublocales.Alex Simpson - 2012 - Annals of Pure and Applied Logic 163 (11):1642-1659.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Failure of GCH and the level by level equivalence between strong compactness and supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
The Search for Diamonds: review of S. Shelah, Middle Diamond; S. Shelah, Diamonds; and M. Zeman, Diamond, GCH and Weak Square. [REVIEW]Assaf Rinot - 2010 - Bulletin of Symbolic Logic 16 (3):420 - 423.
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Canonical measure assignments.Steve Jackson & Benedikt Löwe - 2013 - Journal of Symbolic Logic 78 (2):403-424.
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327.
Haar measure and integral logic.Karim Khanaki & Massoud Amini - 2012 - Mathematical Logic Quarterly 58 (4):294-302.
A Nonstandard Compactness Criterion.Richard D. Benham - 2002 - Mathematical Logic Quarterly 48 (4):559-562.
Analytics
Added to PP
2018-11-17
Downloads
41 (#388,316)
6 months
8 (#361,431)
2018-11-17
Downloads
41 (#388,316)
6 months
8 (#361,431)
Historical graph of downloads
Citations of this work
Generalisations of stationarity, closed and unboundedness, and of Jensen's □.H. Brickhill & P. D. Welch - 2023 - Annals of Pure and Applied Logic 174 (7):103272.
Intermediate models of Magidor-Radin forcing-Part II.Tom Benhamou & Moti Gitik - 2022 - Annals of Pure and Applied Logic 173 (6):103107.
Compactness and guessing principles in the Radin extensions.Omer Ben-Neria & Jing Zhang - 2023 - Journal of Mathematical Logic 23 (2).
References found in this work
Some exact equiconsistency results in set theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Diamond (on the regulars) can fail at any strongly unfoldable cardinal.Mirna Džamonja & Joel David Hamkins - 2006 - Annals of Pure and Applied Logic 144 (1-3):83-95.
Indescribable cardinals without diamonds.Kai Hauser - 1992 - Archive for Mathematical Logic 31 (5):373-383.
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-64dd777598-zf4z4 uwo