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

Excluded Middle versus Choice in a topos

โœ Scribed by Bernhard Banaschewski

Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
75 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

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.

๐Ÿ“œ SIMILAR VOLUMES

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

General fund financing versus earmarked
General fund financing versus earmarked taxes: An alternative model of budgetary choice in a democracy
โœ Alex Athanassakos ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer US ๐ŸŒ English โš– 801 KB

This paper presents an alternative model of budgetary choices in a direct democracy. Our model is not only more consistent with the underlying assumptions of consumer theory, but also is easier to apply to the study of problems such as the impact of lump-sum subsidies, changes in the costs of produc