Knight, Julia; Nadel, Mark Models of arithmetic and closed ideals. (English) Zbl 0518.03032 J. Symb. Log. 47, 833-840 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 Documents MSC: 03H15 Nonstandard models of arithmetic 03D30 Other degrees and reducibilities in computability and recursion theory 03H99 Nonstandard models Keywords:closed ideals of Turing degrees; recursively saturated models; Pr’; non- standard models of Peano theory; amalgamation; homogeneous models PDFBibTeX XMLCite \textit{J. Knight} and \textit{M. Nadel}, J. Symb. Log. 47, 833--840 (1982; Zbl 0518.03032) Full Text: DOI References: [1] Proceedings of Symposia in Pure Mathematics 5 pp 117– (1962) [2] On a problem of MacDowell and Specker 45 pp 612– (1980) [3] Lecture Notes in Mathematics 337 pp 539– (1973) [4] Proceedings of the American Mathematical Society 68 pp 331– (1978) · doi:10.1090/S0002-9939-1978-0491158-5 [5] Expansions of models and Turing degrees 47 pp 587– (1982) [6] Infinitistic methods pp 257– (1961) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.