M. E. Moore, “The Completeness of the Real Line”, CRHF, vol. 39, no. 117, pp. 61–86, Dec. 2018.