@inbook {IOPORT.06065529,
    author       = {Fern\'andez Duque, David and Joosten, Joost J.},
    title        = {Turing progressions and their well-orders.},
    year         = {2012},
    booktitle    = {How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18--23, 2012. Proceedings},
    isbn         = {978-3-642-30869-7},
    pages        = {212-221},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-30870-3_21},
    abstract     = {Summary: 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.},
    identifier   = {06065529},
}