End extensions of models of arithmetic

DOI10.1305/NDJFL/1093636098zbMath0788.03049OpenAlexW2039513350MaRDI QIDQ1203781

James H. Schmerl

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636098

zbMATH Keywords

diophantine equationend extensionmodels of arithmeticmodels of Peano arithmeticiteration of the arithmetized completeness theorem

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (3)

Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ The Interpretation Existence Lemma

This page was built for publication: End extensions of models of arithmetic