Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
An analysis of Tennenbaum's theorem in constructive type theory - MaRDI portal

An analysis of Tennenbaum's theorem in constructive type theory

From MaRDI portal

Publication:6544101

Jump to:navigation, search

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

Dominik Kirst, Author name not available (Why is that?)

Publication date: 27 May 2024

zbMATH Keywords

Church's thesis first-order logic constructive type theory Peano arithmetic Tennenbaum's theorem synthetic computability

Mathematics Subject Classification ID

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

Related Items (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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6544101&oldid=40064780"