Tennenbaum's theorem and unary functions

DOI10.1215/00294527-2008-006zbMATH Open1143.03037OpenAlexW2035465455MaRDI QIDQ929636

Sakae Yaegasi

Publication date: 18 June 2008

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

Full work available at URL: https://doi.org/10.1215/00294527-2008-006

zbMATH Keywords

nonstandard modelsPeano arithmeticTennenbaum's theorem

Mathematics Subject Classification ID

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

Related Items (1)

Toward the limits of the Tennenbaum phenomenon

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Unary Borel functions and second-order arithmetic 👍 👎
• Unimodular functions 👍 👎
• On the univalency of regular functions 👍 👎
• Dichotomies for classes of homomorphism problems involving unary functions 👍 👎
• Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie 👍 👎

This page was built for publication: Tennenbaum's theorem and unary functions

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