01-classes and complete extensions of PA. In Recursion theory week 1984, Lecture Notes in Mathematics 1141:245-259 (1985)

by Anton'in Kucera Measure, \Pi
Venue:Cornell University