Subsystems of second-order arithmetic between RCA<Subscript>0</Subscript> and WKL<Subscript>0</Subscript>期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Subsystems of second-order arithmetic between RCA0 and WKL0

Authors:	Carl Mummert

Affiliation:	(1) Department of Mathematical Sciences, Appalachian State University, Boone, NC 28607, USA;(2) Department of Mathematics, University of Michigan, 2074 East Hall/530 Church Street, Ann Arbor, MI 48109-1043, USA

Abstract:

Keywords:	Reverse mathematics Medvedev reducibility Muchnik reducibility Second order arithmetic
本文献已被 SpringerLink 等数据库收录！