Simple proofs of $${\mathsf{SCH}}$$ SCH from reflection principles without using better scales

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

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0432-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

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.
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.
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 consistency proof for some restrictions of Tait's reflection principles.Rupert McCallum - 2013 - Mathematical Logic Quarterly 59 (1-2):112-118.
A variant of Mathias forcing that preserves \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{ACA}_0}$$\end{document}. [REVIEW]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
2015-05-10

Downloads
17 (#819,600)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

References found in this work

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