Possible m-diagrams ofmodels of arithmetic

Autor:	Stephen G. Simpson, Andrew Arana
Rok vydání:	2017
Předmět:	Arithmetic Mathematics
Zdroj:	Reverse Mathematics 2001
DOI:	10.1017/9781316755846.002
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c8bf81716ef571b3bbe818288c703dd3 https://doi.org/10.1017/9781316755846.002 Zobrazit plný text záznamu