Recursion in second order bounded arithmetic
Palabras clave:
aritmética acotada de segundo orden, recursión acotada, segunda clase Grzegorczyk (es)bounded Arithmetic, second order theories, bounded recursion, Grzegorczyk classes (en)
Descargas
Se muestra que algunos esquemas recursivos pueden ser ejecutados en las teorías U2i ( i ≥1) de aritmética acotada de segundo orden introducidas por S. Buss. En particular, se demuestra que la clase de las funciones ∑ 11,b - definibles en U2i es cerrada bajo recursión acotada, o, equivalentemente, que U2i puede ∑11,b - definir E2, la segunda clase de Grzegorczyk .
It is shown that some recursion schemes can be carried out in the second order theories of Bounded Arithmetic U2i ( i ≥1) introduced by S. Buss in [2]. In particular, we prove that the class of ∑11,b - definable functions in U2i is closed under bounded recursion, or, equivalently, that U2i can ∑11,b - define the functions in the second class of Grzegorczyk, E2 .
Cómo citar
APA
De Castro, R. (1997). Recursion in second order bounded arithmetic. Boletín de Matemáticas, 4(2), 73–84. https://revistas.unal.edu.co/index.php/bolma/article/view/18245
ACM
[1]
De Castro, R. 1997. Recursion in second order bounded arithmetic. Boletín de Matemáticas. 4, 2 (jul. 1997), 73–84.
ACS
(1)
De Castro, R. Recursion in second order bounded arithmetic. Bol. Mat. 1997, 4, 73-84.
ABNT
DE CASTRO, R. Recursion in second order bounded arithmetic. Boletín de Matemáticas, [S. l.], v. 4, n. 2, p. 73–84, 1997. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/18245. Acesso em: 28 mar. 2024.
Chicago
De Castro, Rodrigo. 1997. «Recursion in second order bounded arithmetic». Boletín De Matemáticas 4 (2):73-84. https://revistas.unal.edu.co/index.php/bolma/article/view/18245.
Harvard
De Castro, R. (1997) «Recursion in second order bounded arithmetic», Boletín de Matemáticas, 4(2), pp. 73–84. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18245 (Accedido: 28 marzo 2024).
IEEE
[1]
R. De Castro, «Recursion in second order bounded arithmetic», Bol. Mat., vol. 4, n.º 2, pp. 73–84, jul. 1997.
MLA
De Castro, R. «Recursion in second order bounded arithmetic». Boletín de Matemáticas, vol. 4, n.º 2, julio de 1997, pp. 73-84, https://revistas.unal.edu.co/index.php/bolma/article/view/18245.
Turabian
De Castro, Rodrigo. «Recursion in second order bounded arithmetic». Boletín de Matemáticas 4, no. 2 (julio 1, 1997): 73–84. Accedido marzo 28, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/18245.
Vancouver
1.
De Castro R. Recursion in second order bounded arithmetic. Bol. Mat. [Internet]. 1 de julio de 1997 [citado 28 de marzo de 2024];4(2):73-84. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18245
Descargar cita
Visitas a la página del resumen del artículo
97
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1997 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.