Karan Doshi. “A Rigorous Procedure for Generating a Well-Ordered Set of Reals Without Use of Axiom of Choice Well-Ordering Theorem”. Current Topics on Mathematics and Computer Science Vol. 9, Aug. 2021, pp. 1-5, doi:10.9734/bpi/ctmcs/v9/3400.