Petr Hájek Antonín Kucera On Recursion Theory in I Sigma<sub>1</sub>. 576-589 1989 54 J. Symb. Log. 2 db/journals/jsyml/jsyml54.html#HajekK89 http://projecteuclid.org/euclid.jsl/1183742928