Publicado

1997-07-01

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

Autores/as

  • Rodrigo De Castro Universidad Nacional de Colombia
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.