Karan Doshi. A Rigorous Procedure for Generating a Well-Ordered Set of Reals Without Use of Axiom of Choice Well-Ordering Theorem. CTMCS-V9 2021, 1-5.