Archive for Mathematical Logic 54 (5-6):639-647 (2015)

Abstract
We give simple proofs of the Singular Cardinal Hypothesis from the Weak Reflection Principle and the Fodor-type Reflection Principle which do not use better scales.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s00153-015-0432-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,827
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Combinatorial Essence of Supercompactness.Christoph Weiß - 2012 - Annals of Pure and Applied Logic 163 (11):1710-1717.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.

Add more references

Citations of this work BETA

A Reflection Principle As a Reverse-Mathematical Fixed Point Over the Base Theory ZFC.Sakaé Fuchino - 2017 - Annals of the Japan Association for Philosophy of Science 25:67-77.

Add more citations

Similar books and articles

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
A Note on da Costa-Doria “Exotic Formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
Around Splitting and Reaping for Partitions of Ω.Hiroaki Minami - 2010 - Archive for Mathematical Logic 49 (4):501-518.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Prinzipien und expositorische Beweise in Aristoteles' Syllogistik.Michael Wolff - 1998 - History of Philosophy & Logical Analysis 1.
On Reflection Principles.Peter Koellner - 2009 - Annals of Pure and Applied Logic 157 (2-3):206-219.
A Variant of Mathias Forcing That Preserves {\ Mathsf {ACA} _0}.François G. Dorais - 2012 - Archive for Mathematical Logic 51 (7-8):751-780.
Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2013 - Journal of Symbolic Logic 78 (2):543-561.

Analytics

Added to PP index
2015-05-10

Total views
8 ( #959,889 of 2,432,769 )

Recent downloads (6 months)
2 ( #294,235 of 2,432,769 )

How can I increase my downloads?

Downloads

My notes