## Abstract Two theorems are proved: First that the statement βthere exists a field __F__ such that for every vector space over __F__, every generating set contains a basisβ implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assert
Extending Independent Sets to Bases and the Axiom of Choice
β Scribed by Kyriakos Keremedis
- Publisher
- John Wiley and Sons
- Year
- 1998
- Tongue
- English
- Weight
- 363 KB
- Volume
- 44
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
We show that the both assertions βin every vector space B over a finite element field every subspace V β B has a complementary subspace Sβ and βfor every family π of disjoint odd sized sets there exists a subfamily β±={F~j~:j Ο΅Ο} with a choice functionβ together imply the axiom of choice AC. We also show that AC is equivalent to the statement βin every vector space over β every generating set includes a basisβ.
π SIMILAR VOLUMES
## Abstract We prove the independence of some weakenings of the axiom of choice related to the question if the unions of wellorderable families of wellordered sets are wellorderable.
## 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