Models of arithmetic and closed ideals
From MaRDI portal
Publication:3666851
DOI10.2307/2273102zbMath0518.03032OpenAlexW2006904309MaRDI 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
amalgamationhomogeneous modelsrecursively saturated modelsclosed ideals of Turing degreesnon- standard models of Peano theoryPr'
Nonstandard models of arithmetic (03H15) Other degrees and reducibilities in computability and recursion theory (03D30) Nonstandard models (03H99)
Related Items (6)
Proper and piecewise proper families of reals ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Representing Scott sets in algebraic settings ⋮ Models of PA: Standard Systems without Minimal Ultrafilters ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ Degrees of Recursively Saturated Models
This page was built for publication: Models of arithmetic and closed ideals