Mostrar el registro sencillo del ítem
Tesis Doctoral
Esquemas del máximo en la aritmética
dc.contributor.advisor | Fernández Margarit, Alejandro | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2015-04-16T09:18:13Z | |
dc.date.available | 2015-04-16T09:18:13Z | |
dc.date.issued | 1992 | es |
dc.identifier.citation | Pérez Jiménez, M.d.J. (1992). Esquemas del máximo en la aritmética. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/23810 | |
dc.description.abstract | El objetivo fundamental de esta memoria es el estudio de unos nuevos esquemas de axiomas, que denominaremos esquemas del máximo, desde los siguientes puntos de vista:1. Relacio nes con los esquemas clásicos de inducción, minimización, colección y colección fuerte, para los conjuntos de fórmulas n y n (capítulo 2).2. Aplicaciones de los esquemas del máximo: a) A la obtención de nuevas pruebas de resultados conocidos (Sn+1 In+1, I0(n+1) Ln+1,) (Capítulo 2 y 3). b) Al análisis de una conjetura de Friedman (In+1 Ln+1) (Capítulo 3); c) A la obtención de estructuras maximales n -definibles, es decir, subestructuras propias de B, de U tales que Kn (U; B) = B; que, además, son segmentos iniciales (Capítulo 4); d) Al estudio de la n -definibilidad en Kn (U) (Capítulo 4). e) Para establecer teoremas spliting en ciertos fragmentos de la Aritmética (Capítulo 5). La introducción de estos esquemas tiene por finalidad analizar el comportamiento del crecimiento de funciones definibles (recordemos que en I0, toda función definible está acotada por un polinomio y, por tanto, la función exponencial no es 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 | Aritmética | es |
dc.title | Esquemas del máximo en la aritmética | 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 | 124 p. | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/23810 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
C_043-105.pdf | 5.148Mb | [PDF] | Ver/ | |