Tennenbaum's theorem for models of arithmetic

MaRDI QIDQ3118397zbMATH OpenFDO

Authors Richard Kaye

Publication date 2 March 2012

zbMATH Keywords

fragments of arithmeticMRDP theoremTennenbaum's theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Toward the limits of the Tennenbaum phenomenon
• A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
• Recursive models and the divisibility poset
• Tennenbaum's theorem and recursive reducts
• The philosophical significance of Tennenbaum's theorem

Cited in

(8)

• Toward the limits of the Tennenbaum phenomenon
• Computable quotient presentations of models of arithmetic and set theory
• Tennenbaum's theorem and recursive reducts
• Regularity in models of arithmetic
• The philosophical significance of Tennenbaum's theorem
• The Barwise-Schlipf theorem
• Recursive models and the divisibility poset
• An analysis of Tennenbaum's theorem in constructive type theory

This page was built for publication: Tennenbaum's theorem for models of arithmetic

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