Models of arithmetic: quantifiers and complexity

Autor:	Stephen G. Simpson, Julia F. Knight
Rok vydání:	2017
Předmět:	Bounded quantifier Arithmetic circuit complexity Arithmetic Arithmetic dynamics Arithmetical hierarchy Mathematics
Zdroj:	Reverse Mathematics 2001
DOI:	10.1017/9781316755846.017
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6be17d6b7da6b8bc522e5b8257132234 https://doi.org/10.1017/9781316755846.017 Zobrazit plný text záznamu