Algebra
Modelos booleanos e independencia de la hipotesis del continuo.
Tesis doctoral de Ramon Jansana Ferrer En esta tesis se presentan fundamentalmente dos resultados nuevos en el contexto de la aplicabilidad del metodo de los modelos booleanos a la obtencion de pruebas metateoricas para teorias impredicativas de clases. Tales resultados son los siguientes: 1) la adaptacion de los modelos booleanos Leer más…