Karan Doshi, “A Rigorous Procedure for Generating a Well-ordered Set of Reals without use of Axiom of Choice/Well-ordering Theorem”, CTMCS-V9, pp. 1–5, Aug. 2021.