Artículo
Some Results on LΔ n+1
Autor/es | Fernández Margarit, Alejandro
Lara Martín, Francisco Félix |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2001 |
Fecha de depósito | 2019-06-28 |
Publicado en |
|
Resumen | We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas. |
Identificador del proyecto | DGES PB96-1345 |
Cita | Fernández Margarit, A. y Lara Martín, F.F. (2001). Some Results on LΔ n+1. Mathematical Logic Quaterly, 47 (4), 503-512. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Some Results on L-Delta.pdf | 263.5Kb | [PDF] | Ver/ | |