Choice Implies Excluded Middle

Mathematical Logic Quarterly 24 (25‐30):461-461 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Excluded Middle versus Choice in a topos.Bernhard Banaschewski - 2005 - Mathematical Logic Quarterly 51 (3):282.
Excluded middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.
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.
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.
EM + Ext− + ACint is equivalent to ACext.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236-240.
The law of excluded middle and the axiom of choice.W. W. Tait - 1994 - In Alexander George (ed.), Mathematics and Mind. Oxford University Press. pp. 45--70.
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
On the Principle of Excluded Middle.Jairo José da Silva - 2011 - Principia: An International Journal of Epistemology 15 (2):333.
The principle of excluded middle in quantum logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.

Analytics

Added to PP
2013-11-24

Downloads
30 (#499,791)

6 months
7 (#328,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.
Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2020 - History and Philosophy of Logic 41 (1):48-70.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references