Well-orders in the transfinite Japaridze algebra. - Fernández-Duque, David; Joosten, Joost J. (Logic Journal of the IGPL, 2014)