Existence of Hamel basis, choice and regularity

Question

Blass (1984) shows that the existence of Hamel basis for arbitrary vector space over any field implies the axiom of choice. However such implication needs the axiom of regularity. As in Blass' article, existence of basis just implies axiom of multiple choice, strictly weaker than AC when without assuming regularity.

In the article he says whether the existence of basis implies the axiom of choice in $\mathsf{ZF - regularity}$ remains open. However it has been 31 years since the paper published and I wonder there is a progress about it. I would appreciate your answer.

Answer 1

As far as I know, no real progress has been made.

Two papers worth mentioning, however, are these:

1. Paul Howard, If vector spaces are projective modules then multiple choice holds, MLQ Math. Log. Q. 51 (2005), no. 2, 187--190.

2. Marianne Morillon, Linear forms and the axiom of choice, Comment. Math. Univ. Carolin. 50 (2009), no. 3, 421--431.

Neither proves anything significant regarding the question whether or not the existence of bases implies choice in $\sf ZFA$ (equivalently, $\sf ZF-Reg$). But both make something which can be considered progress towards such answer, even if that progress is not a big step forward.