Mc Aloon, Kenneth Diagonal methods and strong cuts in models of arithmetic. (English) Zbl 0458.03021 Logic colloquium ’77, Proc., Wroclaw 1977, Stud. Logic Found. Math. Vol. 96, 171-181 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03H15 Nonstandard models of arithmetic 03F30 First-order arithmetic and fragments 03D45 Theory of numerations, effectively presented structures Keywords:models of Peano arithmetic; solvable recursively presented problems; end extensions Citations:Zbl 0364.02032; Zbl 0426.00004 PDF BibTeX XML OpenURL