Mostrar el registro sencillo del ítem
Tesis Doctoral
Inducción y recursión las teorías IDelta n+1(T) /
dc.contributor.advisor | Fernández Margarit, Alejandro | es |
dc.creator | Lara Martín, Francisco Félix | es |
dc.date.accessioned | 2015-04-16T09:18:13Z | |
dc.date.available | 2015-04-16T09:18:13Z | |
dc.date.issued | 1999 | es |
dc.identifier.citation | Lara Martín, F.F. (1999). Inducción y recursión las teorías IDelta n+1(T) /. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/23811 | |
dc.description.abstract | En este trabajo se realiza un análisis de la conjetura de Friedman-Paris, acerca de la equivalencia entre los fragmentos de la Aritmetica de Peano obtenidos al restringir los esquemas de inducción y minimación a Formula An+1. Para ello se consideran varias versiones de la conjetura y se estudian condiciones suficientes( y en ocasiones también necesarias) para que se dé la equivalencia buscada en cada caso. Se estudian diversas relativizaciones de los esquemas axiomáticos para fórmulas An+1, en los que se exige que la equivalencia entre las Formulas n+1 y n+1 se pruebe en una teoría dada(con esto se sustituye la parte semántica de los esquemas que describen la conjetura de Friedman-Paris, por una condición sintáctica). Como una segunda aproximación a la conjetura se estudian las n+2 consecuencias de una teoría, considerando la posibilidad de describirlas mediante una familia de funciones no decrecientes de grafo in-definible.| | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | es |
dc.subject | Inducción (Lógica) | es |
dc.subject | Funciones recursivas | es |
dc.subject | Recursión, Teoría de la | es |
dc.title | Inducción y recursión las teorías IDelta n+1(T) / | es |
dc.type | info:eu-repo/semantics/doctoralThesis | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Álgebra | es |
idus.format.extent | 171 p. | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/23811 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
C_043-337.pdf | 6.866Mb | [PDF] | Ver/ | |