An analysis of Tennenbaum's theorem in constructive type theory

DOI10.4230/LIPICS.FSCD.2022.9zbMATH Open1541.03167MaRDI QIDQ6544101FDOQ6544101

Authors: Dominik Kirst 

Publication date: 27 May 2024

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

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)

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)