Extending Independent Sets to Bases and the Axiom of Choice

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


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”



    Upload a copy of this work     Papers currently archived: 89,311

External links

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

Through your library

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.


Added to PP

27 (#499,067)

6 months
2 (#637,499)

Historical graph of downloads
How can I increase my downloads?

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

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