{"id":{"repo_id":"sevilla","oai_identifier":"oai:idus.us.es:11441/23810"},"canonical_url":"https://search.dev.ndltd.org/etd/sevilla/oai:idus.us.es:11441/23810","repository":{"repo_id":"sevilla","name":"Universidad de Sevilla","base_url":"https://idus.us.es/server/oai/request"},"display":{"title":"Esquemas del máximo en la aritmética","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).|","abstract_html":"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).|","abstract_has_math":false,"creators":["Pérez Jiménez, Mario de Jesús"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Fernández Margarit, Alejandro"],"committee_chairs":[],"committee_members":[],"year":1992,"date_issued":"1992","date_published":"1992","updated_at":"2026-07-24T04:29:36Z","subjects":[],"languages":["spa"],"rights":["Atribución-NoComercial-SinDerivadas 4.0 España"],"rights_urls":["http://creativecommons.org/licenses/by-nc-nd/4.0/"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/11441/23810","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Fernández Margarit, Alejandro"]},{"key":"dc:creator","label":"Author","values":["Pérez Jiménez, Mario de Jesús"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2015-04-16T09:18:13Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2015-04-16T09:18:13Z"]},{"key":"dc:date.issued","label":"Date","values":["1992"]},{"key":"dc:type","label":"Dc Type","values":["doctoral thesis"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["spa"]},{"key":"dc:rights","label":"Dc Rights","values":["Atribución-NoComercial-SinDerivadas 4.0 España"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://creativecommons.org/licenses/by-nc-nd/4.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/11441/23810"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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).|"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Esquemas del máximo en la aritmética"]}]}],"canonical_facts":{"dc:contributor.advisor":["Fernández Margarit, Alejandro"],"dc:creator":["Pérez Jiménez, Mario de Jesús"],"dc:date.accessioned":["2015-04-16T09:18:13Z"],"dc:date.available":["2015-04-16T09:18:13Z"],"dc:date.issued":["1992"],"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).|"],"dc:format":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/11441/23810"],"dc:language.iso":["spa"],"dc:rights":["Atribución-NoComercial-SinDerivadas 4.0 España"],"dc:rights.uri":["http://creativecommons.org/licenses/by-nc-nd/4.0/"],"dc:title":["Esquemas del máximo en la aritmética"],"dc:type":["doctoral thesis"]},"updated_at":"2026-07-24T04:29:36Z"}