- 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
Codings and strongly inaccessible cardinals
Archive for Mathematical Logic 56 (7-8):1037-1044 (2017)
Abstract
We show that a coding principle introduced by J. Moore with respect to all ladder systems is equiconsistent with the existence of a strongly inaccessible cardinal. We also show that a coding principle introduced by S. Todorcevic has consistency strength at least of a strongly inaccessible cardinal.My notes
Similar books and articles
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Strong Compactness, Square, Gch, and Woodin Cardinals.Arthur W. Apter - forthcoming - Journal of Symbolic Logic:1-9.
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence.Arthur W. Apter - 2014 - Notre Dame Journal of Formal Logic 55 (4):431-444.
Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.Arthur W. Apter - 2000 - Mathematical Logic Quarterly 46 (4):453-460.
Some remarks on indestructibility and Hamkins? lottery preparation.Arthur W. Apter - 2003 - Archive for Mathematical Logic 42 (8):717-735.
Strongly unfoldable, splitting and bounding.Ömer Faruk Bağ & Vera Fischer - 2023 - Mathematical Logic Quarterly 69 (1):7-14.
Partition Relations for Strongly Normal Ideals on Pκ(λ).Pierre Matet - 2000 - Mathematical Logic Quarterly 46 (1):87-103.
Patterns of compact cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
Compactness and guessing principles in the Radin extensions.Omer Ben-Neria & Jing Zhang - 2023 - Journal of Mathematical Logic 23 (2).
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.Osamu Takaki - 2005 - Archive for Mathematical Logic 44 (6):689-709.
Analytics
Added to PP
2017-09-20
Downloads
11 (#1,145,893)
6 months
1 (#1,720,529)
2017-09-20
Downloads
11 (#1,145,893)
6 months
1 (#1,720,529)
Historical graph of downloads
References found in this work
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-6686886f5-xdvnm uwo