# Axiom of choice and bases of vector spaces over a fixed field

Let $k$ be a field. In 1984 Andreas Blass proved that the axiom "for every extension $K|k$, every vector space over $K$ has a basis" implies the axiom of choice. He also raised the question

Does the axiom "every vector space over $k$ has a basis" imply the axiom of choice ?

What's the current status of the question ? Has there been progress ?

• This has come up before: mathoverflow.net/questions/64219 Jun 27, 2011 at 18:22
• @Bruce: The two questions are clearly different. Jun 27, 2011 at 18:31
• Right -- Andreas even says toward the end of the note that the question is open for specific fields like the rationals. I hope that anyone else who votes to close this question leaves a note as to why it should be closed. Jun 27, 2011 at 18:53
• I stand corrected. Jun 27, 2011 at 19:44
• @Asaf: Thanks. Perhaps you can add references and post it as answer. Jun 27, 2011 at 19:55

It has been shown for $K=\mathbb F_2$ (the field with two elements) by Keremedis (Available here)
• As far as I can see, Keremedis shows that AC is equivalent to “every generating set of a vector space over $\mathbb F_2$ contains a basis”, which is a stronger statement than “every vector space over $\mathbb F_2$ has a basis”. Aug 30, 2011 at 15:12