๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Choice Implies Excluded Middle

โœ Scribed by N. Goodman; J. Myhill

Publisher
John Wiley and Sons
Year
1978
Tongue
English
Weight
57 KB
Volume
24
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Excluded Middle versus Choice in a topos
Excluded Middle versus Choice in a topos
โœ Bernhard Banaschewski ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 75 KB

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.

Excluded middle and bivalence
Excluded middle and bivalence
โœ Timothy J. Day ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer ๐ŸŒ English โš– 195 KB
The axiom of choice and the law of exclu
The axiom of choice and the law of excluded middle in weak set theories
โœ John L. Bell ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 116 KB ๐Ÿ‘ 1 views

## Abstract A weak form of intuitionistic set theory **WST** lacking the axiom of extensionality is introduced. While **WST** is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up **WST** with moderate extensionality principles or quoti