Soare, Bounding homogeneous models (0)

by B F Csima, V S Harizanov, D R Hirschfeldt, R I
Venue:J. Symbolic Logic