At the Limits of Predicativity: The Reverse Mathematics of Ordering Relations - Manca, Davide (PQDT - Global, 2025)