Article
Some Results on LΔ n+1
Author/s | Fernández Margarit, Alejandro
Lara Martín, Francisco Félix ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2001 |
Deposit Date | 2019-06-28 |
Published in |
|
Abstract | We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas. |
Project ID. | DGES PB96-1345
![]() |
Citation | Fernández Margarit, A. y Lara Martín, F.F. (2001). Some Results on LΔ n+1. Mathematical Logic Quaterly, 47 (4), 503-512. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Some Results on L-Delta.pdf | 263.5Kb | ![]() | View/ | |