Models of arithmetic and subuniform bounds for the arithmetic sets
From MaRDI portal
Publication:4391422
DOI10.2307/2586587zbMath0902.03022OpenAlexW2079718016MaRDI QIDQ4391422
Robert I. Soare, Alistair H. Lachlan
Publication date: 3 December 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586587
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items (1)
Cites Work
This page was built for publication: Models of arithmetic and subuniform bounds for the arithmetic sets