Degrees of models of true arithmetic, preliminary version, unpublished manuscript (1984)

by R M Solovay
Venue:Department of Mathematics and Statistics Simon Fraser University Burnaby, British Columbia Canada