Well-orders in the transfinite Japaridze algebra II: Turing progressions and their well-orders | Publicación