Repositorio de producción científica de la Universidad de Sevilla

Inducción y recursión las teorías IDelta n+1(T) /

 

Advanced Search
 

Show simple item record

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
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
Size: 6.866Mb
Format: PDF

This item appears in the following Collection(s)

Show simple item record