Relatively diophantine correct models of arithmetic

DOI10.1305/NDJFL/1093636946zbMath0635.03063OpenAlexW2033169927MaRDI QIDQ1097277

Bonnie Gold

Publication date: 1987

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

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

zbMATH Keywords

Peano Arithmeticmodels of arithmeticback- and-forth constructionMatijasevič theorem

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Other model constructions (03C30)

This page was built for publication: Relatively diophantine correct models of arithmetic