Journal ArticleOPEN ACCESS

Excluded Middle versus Choice in a topos

Mathematical Logic Quarterly (2005) 51(3) 282-284
DOI: 10.1002/malq.200410029
2Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

It is shown for an arbitrary topos that the Law of the Excluded Middle holds in its prepositional logic iff it satisfies the limited choice principle that every epimorphism from 2 = 1 ⊕1 splits. © 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Author supplied keywords

Cite

CITATION STYLE

APA

Banaschewski, B. (2005). Excluded Middle versus Choice in a topos. Mathematical Logic Quarterly, 51(3), 282–284. https://doi.org/10.1002/malq.200410029

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free