The Continuum Hypothesis Implies Excluded Middle

In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 111-114 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

Defending Conditional Excluded Middle.J. Robert G. Williams - 2010 - Noûs 44 (4):650-668.
Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
Excluded middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.
Early history of the Generalized Continuum Hypothesis: 1878—1938.Gregory H. Moore - 2011 - Bulletin of Symbolic Logic 17 (4):489-532.
Is the Dream Solution of the Continuum Hypothesis Attainable?Joel David Hamkins - 2015 - Notre Dame Journal of Formal Logic 56 (1):135-145.
The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
Excluded middle and bivalence.TimothyJ Day - 1992 - Erkenntnis 37 (1):93 - 97.
Turing determinacy and the continuum hypothesis.Ramez L. Sami - 1989 - Archive for Mathematical Logic 28 (3):149-154.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
Large cardinals and definable counterexamples to the continuum hypothesis.Matthew Foreman & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 76 (1):47-97.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Peirce’s ‘Entanglement’ with the Principles of Excluded Middle and Contradiction.Robert Lane - 1997 - Transactions of the Charles S. Peirce Society 33 (3):680 - 703.
Generalizations of the Weak Law of the Excluded Middle.Andrea Sorbi & Sebastiaan A. Terwijn - 2015 - Notre Dame Journal of Formal Logic 56 (2):321-331.
On Gödel's proof that $V=L$ implies the generalized continuum hypothesis.Raouf Doss - 1963 - Notre Dame Journal of Formal Logic 4 (4):283-287.
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.

Analytics

Added to PP
2016-07-30

Downloads
29 (#555,479)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references