> Am I also reading it right that the author is saying the axiom of choice is equivalent to the statement that every vector space has a finite basis?

Not quite. The axiom of choice is equivalent to saying every vector space has a Hamel basis, which is to say every element can be represented as a finite combination of elements of the Hamel basis. It doesn't imply that the Hamel basis is finite itself.