Jäger, Gerhard Countable admissible ordinals and dilators. (English) Zbl 0584.03033 Z. Math. Logik Grundlagen Math. 32, 451-456 (1986). MSC: 03D60 03F15 PDFBibTeX XMLCite \textit{G. Jäger}, Z. Math. Logik Grundlagen Math. 32, 451--456 (1986; Zbl 0584.03033) Full Text: DOI
Jäger, Gerhard A version of Kripke-Platek set theory which is conservative over Peano arithmetic. (English) Zbl 0539.03032 Z. Math. Logik Grundlagen Math. 30, 3-9 (1984). MSC: 03E70 03F25 PDFBibTeX XMLCite \textit{G. Jäger}, Z. Math. Logik Grundlagen Math. 30, 3--9 (1984; Zbl 0539.03032) Full Text: DOI