A first-order theory of Ulm type. - Harrison-Trainor, Matthew; Brattka, Vasco; Downey, Rod; Knight, Julia F.; Lempp, Steffen (Computability, 2019)