Martínez León, V. A.; Bloot, R.; Letícia de Oliveira, A. A Comprehensive Review of the Characterization of Real Numbers. Sel.Mat. 2024, 11, 303 - 325.