A recursive nonstandard model of normal open induction
From MaRDI portal
Publication:3128470
DOI10.2307/2275813zbMath0870.03025MaRDI QIDQ3128470
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
Related Items
Factorization in generalized power series, Limit computable integer parts, Independence results for variants of sharply bounded 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
Cites Work