Toward the limits of the Tennenbaum phenomenon

DOI10.1305/ndjfl/1039700698zbMath0889.03052OpenAlexW1964137622MaRDI QIDQ1377555

Paola D'Aquino

Publication date: 11 February 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039700698

zbMATH Keywords

nonstandard models of arithmeticweak fragments of arithmeticTennenbaum phenomenon

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine induction
• On the scheme of induction for bounded arithmetic formulas
• Combinatorial principles in elementary number theory
• Pell equations and exponentiation in fragments of arithmetic
• A recursive nonstandard model of normal open induction
• On the complexity of models of arithmetic
• Bounded existential induction
• Provability of the pigeonhole principle and the existence of infinitely many primes