Excluded Middle versus Choice in a topos

Mathematical Logic Quarterly 51 (3):282 (2005)
  Copy   BIBTEX

Abstract

It is shown for an arbitrary topos that the Law of the Excluded Middle holds in its propositional logic iff it satisfies the limited choice principle that every epimorphism from 2 = 1 ⊕ 1 splits

Categories

Keywords

Reprint years

DOI

10.1002/malq.200410029

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
EM + Ext− + ACint is equivalent to ACext.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236-240.
EM + Ext_ + AC~i~n~t is equivalent to AC~e~x~t.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
Axiom of choice and excluded middle in categorical logic.Steven Awodey - 1995 - Bulletin of Symbolic Logic 1:344.
The Concept of the Principle of Excluded Middle in Buddhism.Arnold Kunst - 1957 - Rocznik Orientalistyczny 21.
Tomorrow’s Sea-Battle and the Beginning of Temporal Logic.Kazimierz Trzęsicki - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 329-336.
The principle of excluded middle in quantum logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.

Analytics

Added to PP
2013-12-01

Downloads
27 (#576,365)

6 months
2 (#1,445,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Emergent Design.Kent Palmer - 2009 - Dissertation, University of South Australia

Add more citations

References found in this work

Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.

Add more references