Buscar
Mostrando ítems 1-3 de 3
Tesis Doctoral
Una extensión de métodos algebraicos a la teoría de modelos
(1983-07-02)
La idea central de este trabajo consiste en la introducción del concepto de cociente en la teoría de modelos. La construcción del cociente en algebra no es directamente generalizables pues hace uso de elementos notables ...
Tesis Doctoral
Esquemas del máximo en la aritmética
(1992)
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, ...
Tesis Doctoral
Inducción y recursión las teorías IDelta n+1(T) /
(1999)
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 ...