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
Build your own clarithmetic II: Soundness - MaRDI portal

Build your own clarithmetic II: Soundness

From MaRDI portal

Publication:2974783

Jump to:navigation, search

DOI10.2168/LMCS-12(3:12)2016zbMath1445.03066arXiv1510.08566MaRDI QIDQ2974783

Giorgi Japaridze

Publication date: 11 April 2017

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Peano arithmetic bounded arithmetic game semantics computability logic implicit computational complexity interactive computation

Mathematics Subject Classification ID

Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (1)

Build your own clarithmetic I: Setup and completeness

This page was built for publication: Build your own clarithmetic II: Soundness

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