Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Recursion in second order bounded arithmetic

De Castro, Rodrigo (1997) Recursion in second order bounded arithmetic. Boletín de Matemáticas; Vol. 4, núm. 2 (1997); 73-84 Boletín de Matemáticas; Vol. 4, núm. 2 (1997); 73-84 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
1MB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

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 .

Tipo de documento:Artículo - Article
Palabras clave:bounded Arithmetic, second order theories, bounded recursion, Grzegorczyk classes, aritmética acotada de segundo orden, recursión acotada, segunda clase Grzegorczyk
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:21739
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 12:53
Ultima modificación:05 Junio 2018 20:25
Ultima modificación:05 Junio 2018 20:25
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox