Models of arithmetic and closed ideals
From MaRDI portal
Publication:3666851
DOI10.2307/2273102zbMath0518.03032MaRDI QIDQ3666851
Mark E. Nadel, Julia F. Knight
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273102
amalgamation; homogeneous models; recursively saturated models; closed ideals of Turing degrees; non- standard models of Peano theory; Pr'
03H15: Nonstandard models of arithmetic
03D30: Other degrees and reducibilities in computability and recursion theory
03H99: Nonstandard models
Related Items
Models of PA: Standard Systems without Minimal Ultrafilters, Representing Scott sets in algebraic settings, A standard model of Peano arithmetic with no conservative elementary extension, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Proper and piecewise proper families of reals, Degrees of Recursively Saturated Models