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
The computational content of classical arithmetic - MaRDI portal

The computational content of classical arithmetic

From MaRDI portal

Publication:3001090

Jump to:navigation, search

zbMath1244.03153arXiv0901.2551MaRDI QIDQ3001090

Jeremy Avigad

Publication date: 31 May 2011

Full work available at URL: https://arxiv.org/abs/0901.2551

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

The computational content of arithmetical proofs ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy

This page was built for publication: The computational content of classical arithmetic

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