Models of arithmetic and closed ideals

DOI10.2307/2273102MaRDI QIDQ3666851zbMATH OpenOpenAlexFDO

Authors Mark E. Nadel, J. 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

zbMATH Keywords

amalgamationclosed ideals of Turing degreeshomogeneous modelsnon- standard models of Peano theoryPr'recursively saturated models

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Nonstandard models of arithmetic (03H15) Nonstandard models (03H99)

Cited in

(7)

• 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
• Representing Scott sets in algebraic settings
• Models of PA: Standard Systems without Minimal Ultrafilters
• Some notes on uncountable models of arithmetic
• A standard model of Peano arithmetic with no conservative elementary extension

This page was built for publication: Models of arithmetic and closed ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666851)