An analysis of Tennenbaum's theorem in constructive type theory

DOI10.4230/LIPICS.FSCD.2022.9MaRDI QIDQ6544101zbMATH OpenFDO

Authors Dominik Kirst

Publication date 27 May 2024

zbMATH Keywords

first-order logicPeano arithmeticChurch's thesisconstructive type theoryTennenbaum's theoremsynthetic computability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Type theory (03B38)

Recommendations

• An analysis of Tennenbaum's theorem in constructive type theory
• Constructive formalization of the Tennenbaum theorem and its applications
• Constructive theory of sets with types; compatibility with Church's thesis
• Parametric Church's thesis: synthetic computability without choice
• Models and computability

Cited in

(1)

• An analysis of Tennenbaum's theorem in constructive type theory

This page was built for publication: An analysis of Tennenbaum's theorem in constructive type theory

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