Soare, Bounding prime models (0)

by B F Csima, D R Hirschfeldt, J F Knight, R I
Venue:Journal of Symbolic Logic