Relatively diophantine correct models of arithmetic

DOI10.1305/NDJFL/1093636946MaRDI QIDQ1097277zbMATH OpenOpenAlexFDO

Authors 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

models of arithmeticPeano Arithmeticback- and-forth constructionMatijasevič theorem

Mathematics Subject Classification ID

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

Recommendations

• Diophantine correct open induction
• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• On M-recursively saturated models of arithmetic
• Models of arithmetic in \(A\)-isols
• On Diophantine equations solvable in models of open induction

Cited in

(3)

• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• Melvin models and Diophantine approximation
• Diophantine correct open induction

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

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