2
Q: Can this proof of existence of a Hamel basis using transfinite recursion be shortened/simplified?
This is (I hope) a solution to Problem 112 in A. Shen and N. K. Vereshchagin, Basic Set Theory (AMS 2002). It is - I thought! - a semi-routine exercise, part of whose purpose is to enlighten the reader as to "what transfinite induction is and why it is always replaced by Zorn's Lemma" [from the ...