Gerhard Jäger A well-ordering proof for Feferman's theory<i>T</i><sub>0</sub>. 65-77 1983 23 Arch. Math. Log. 1 https://doi.org/10.1007/BF02023014 db/journals/aml/aml23.html#Jager83