Mostrar el registro sencillo del ítem
Artículo
Some Results on LΔ n+1
dc.creator | Fernández Margarit, Alejandro | es |
dc.creator | Lara Martín, Francisco Félix | es |
dc.date.accessioned | 2019-06-28T08:37:06Z | |
dc.date.available | 2019-06-28T08:37:06Z | |
dc.date.issued | 2001 | |
dc.identifier.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. | |
dc.identifier.issn | 0942-5616 | es |
dc.identifier.uri | https://hdl.handle.net/11441/87667 | |
dc.description.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. | es |
dc.description.sponsorship | Ministerio de Educación y Cultura DGES PB96-1345 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Wiley | es |
dc.relation.ispartof | Mathematical Logic Quaterly, 47 (4), 503-512. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Induction principles | es |
dc.subject | Least number principle | es |
dc.subject | Fragments of Peano arithmetic | es |
dc.subject | Δn+1-formula | es |
dc.title | Some Results on LΔ n+1 | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | DGES PB96-1345 | es |
dc.relation.publisherversion | https://onlinelibrary.wiley.com/doi/10.1002/1521-3870%28200111%2947%3A4%3C503%3A%3AAID-MALQ503%3E3.0.CO%3B2-N | es |
dc.identifier.doi | 10.1002/1521-3870(200111)47:4<503::AID-MALQ503>3.0.CO;2-N | es |
idus.format.extent | 10 | es |
dc.journaltitle | Mathematical Logic Quaterly | es |
dc.publication.volumen | 47 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 503 | es |
dc.publication.endPage | 512 | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Some Results on L-Delta.pdf | 263.5Kb | [PDF] | Ver/ | |