Models of Arithmetic and Upper Bounds for Arithmetic Sets

Alistair H. Lachlan, Robert I. Soare. Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic, 59(3):977-983, 1994.

Abstract

Abstract is missing.