Toward the limits of the Tennenbaum phenomenon
From MaRDI portal
(Redirected from Publication:1377555)
Recommendations
- Tennenbaum's theorem for models of arithmetic
- A recursive model for arithmetic with weak induction
- An Effective Conservation Result for Nonstandard Arithmetic
- On the structure of models of bounded $E\sb 1$-induction
- Tennenbaum's theorem and recursive reducts
- Tennenbaum's theorem and unary functions
- Recursive models and the divisibility poset
- On a Problem of J. Paris
- Bounded existential induction
- scientific article; zbMATH DE number 51556
Cites work
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 3784875 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 3595145 (Why is no real title available?)
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 3214534 (Why is no real title available?)
- scientific article; zbMATH DE number 5239123 (Why is no real title available?)
- A recursive nonstandard model of normal open induction
- Bounded existential induction
- Combinatorial principles in elementary number theory
- Diophantine induction
- On the complexity of models of arithmetic
- On the scheme of induction for bounded arithmetic formulas
- Pell equations and exponentiation in fragments of arithmetic
- Provability of the pigeonhole principle and the existence of infinitely many primes
Cited in
(7)- Recursive models and the divisibility poset
- The philosophical significance of Tennenbaum's theorem
- An Effective Conservation Result for Nonstandard Arithmetic
- Tennenbaum's theorem and recursive reducts
- Tennenbaum's theorem for models of arithmetic
- Computable quotient presentations of models of arithmetic and set theory
- On a Problem of J. Paris
This page was built for publication: Toward the limits of the Tennenbaum phenomenon
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377555)