Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen. Gerhard Jäger — 1982 Archiv für mathematische Logik und Grundlagenforschung
A well-ordering proof for Feferman's theory To. Gerhard Jäger — 1983 Archiv für mathematische Logik und Grundlagenforschung
...-inaccessible ordinals, collapsing functions and a recursive notation system. Gerhard Jäger — 1984 Archiv für mathematische Logik und Grundlagenforschung