(1)
M. CARPIO, H. The Equivalence of Real Number Principles. TMF 2024, 14, 15-20.