Imagen de Portada
Código QR

TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS.

In this paper we investigate the reverse mathematics of higher-order analogues of the theory $$ATR_0$$ within the framework of higher order reverse mathematics developed by Kohlenbach [11]. We define a theory $$RCA_0^3$$, a close higher-type analogue of the classical base theory $$RCA_0$$ which is e...

Descripción completa

Publicado en:Journal of Symbolic Logic Vol. 80; no. 3; pp. 940 - 970
Autor principal: SCHWEBER, NOAH
Formato: Artículo
Publicado: Cambridge University Press Sep2015
Materias:
Transfinite numbers
Cardinal numbers
Reverse mathematics
First-order phase transitions
Reversible computing
Acceso en línea:Ver este registro en EBSCOhost