A recursive nonstandard model of normal open induction

DOI10.2307/2275813zbMath0870.03025OpenAlexW2068893742MaRDI QIDQ3128470

Margarita Otero, Alessandro Berarducci

Publication date: 15 September 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275813

zbMATH Keywords

normal open inductionrecursive nonstandard modelunbounded set of infinite prime elements

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Related Items

Toward the limits of the Tennenbaum phenomenon, Real closures of models of weak arithmetic, A note on recursive models of set theories, Limit computable integer parts, Independence results for variants of sharply bounded induction, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Factorization in generalized power series

Cites Work

• Primes and their residue rings in models of open induction
• The joint embedding property in normal open induction
• On Diophantine equations solvable in models of open induction