Search
Now showing items 1-8 of 8
PhD Thesis
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, ...
PhD Thesis
Ramificación en k-álgebras y teoremas de ascenso y descenso
(1991)
"En la presente memoria se estudia la ramificación de ideales primos de un subanillo de polinomios, A, sobre un cuerpo, k, de característica cero, al extender a una k-álgebra afín, B, finitamente generada sobre A. los ...
PhD Thesis
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 ...
PhD Thesis
Cálculos efectivos con valoraciones ramificación
(1999)
En la presente memoria se estudian las valoraciones discretas de rango 1 sobre un cuerpo de series en n variables con cuerpo base de característica cero. Se da una construcción explicita de un elemento de valor 1 y del ...
PhD Thesis
PhD Thesis
Presentaciones de módulos teorema de estabilidad de Suslin en Z[X]
(1999)
La comparación de módulos finitamente generados sobre anillos de polinomios es un problema de gran dificultad no resuelto. Salvo el caso de los anillos de polinomios en una variable con coeficientes en un cuerpo, donde ...
PhD Thesis
Operadores diferenciales logarítmicos con respecto a un divisor libre
(1997)
En esta memoria estudiamos la V-filtración relativa a divisores libres en una variedad analítica compleja lisa de dimensión arbitraria. Más concretamente abordamos la estructura de los operadores diferenciales en el término ...
PhD Thesis
Estudio de dos invariantes en álgebras de Lie filiformes complejas y clasificación a partir de estos
(1995-05)
• En las álgebras de lie filiformes complejas se estudian de manera detallada los subíndices definidos por: i = , que es equivalente a i = inf es conmutativo), que es equivalente a j = inf , dos invariantes respecto de ...