Choice and bases of vector spaces

Determine whether choosing a basis for every vector space over a fixed field requires the full Axiom of Choice.

Background

The question arises in the study of categoricity over non-well-ordered cardinals, where the absence of well-orderings makes basis selection and matching difficult.