A recursive model for arithmetic with weak induction

DOI10.2307/2273787MaRDI QIDQ3697018zbMATH OpenOpenAlexFDO

Authors Zofia Adamowicz, Guillermo Morales Luna

Publication date 1985

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

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

zbMATH Keywords

algebraically closed ringsnonstandard recursive models of arithmeticopen induction

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• A recursive nonstandard model of normal open induction
• L'arithmétique ouverte et ses modèles non-standards
• A recursive nonstandard model for open induction with GCD property and cofinal primes
• Real closures of models of weak arithmetic
• On the structure of models of bounded $E\sb 1$-induction

Cited in

(5)

• Toward the limits of the Tennenbaum phenomenon
• A note on recursive models of set theories
• A recursive nonstandard model of normal open induction
• Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
• A recursive nonstandard model for open induction with GCD property and cofinal primes

This page was built for publication: A recursive model for arithmetic with weak induction

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