Two theorems on degrees of models of true arithmetic
From MaRDI portal
Publication:3697017
DOI10.2307/2274174zbMath0576.03044MaRDI QIDQ3697017
Robert I. Soare, Julia F. Knight, Alistair H. Lachlan
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274174
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Minimal upper bounds for arithmetical degrees, Models of arithmetic and upper bounds for arithmetic sets, Upper bounds for the arithmetical degrees, Minimal complementation below uniform upper bounds for the arithmetical degrees, Degrees of Recursively Saturated Models
Cites Work