We see how Turing progressions are closely related to the closed fragment of GLP, polymodal provability logic. Next we study natural well-orders in GLP that characterize certain aspects of these Turing progressions.
['David Fernández Duque', 'Joost J. Joosten']
Turing progressions and their well-orders