Extending Independent Sets to Bases and the Axiom of Choice

Mathematical Logic Quarterly 44 (1):92-98 (1998)


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 [MATHEMATICAL SCRIPT CAPITAL A] of disjoint odd sized sets there exists a subfamily ℱ={Fj: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”

Download options


    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

25 (#461,226)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
The Axiom of Choice.Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.
Equivalents of the Axiom of Choice, II.Herman Rubin & Jean E. Rubin - 1987 - Journal of Symbolic Logic 52 (3):867-869.

Add more references

Citations of this work

On Vector Spaces Over Specific Fields Without Choice.Paul Howard & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (3):128-146.

Add more citations

Similar books and articles

Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Bases, Spanning Sets, and the Axiom of Choice.Paul Howard - 2007 - Mathematical Logic Quarterly 53 (3):247-254.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.