A recursive nonstandard model of normal open induction

DOI10.2307/2275813MaRDI QIDQ3128470zbMATH OpenOpenAlexFDO

Authors Alessandro Berarducci, Margarita Otero

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)

Recommendations

• A recursive nonstandard model for open induction with GCD property and cofinal primes
• A recursive model for arithmetic with weak induction
• scientific article; zbMATH DE number 709498
• Primes and their residue rings in models of open induction

Cites work

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

Cited in

(14)

• Primes and their residue rings in models of open induction
• Toward the limits of the Tennenbaum phenomenon
• A note on recursive models of set theories
• Real closures of models of weak arithmetic
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• A recursive model for arithmetic with weak induction
• L'arithmétique ouverte et ses modèles non-standards
• scientific article; zbMATH DE number 709498 (Why is no real title available?)
• Factorization in generalized power series
• A recursive nonstandard model for open induction with GCD property and cofinal primes
• scientific article; zbMATH DE number 3230240 (Why is no real title available?)
• Limit computable integer parts
• Independence results for variants of sharply bounded induction
• Analogues of Shepherdson's theorem for a language with exponentiation

This page was built for publication: A recursive nonstandard model of normal open induction

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