Profesor | Fernando Javier Nuñez Rosales | lu mi vi | 14 a 15 | O128 |
Ayudante | Alan Mauricio Pasos Trejo | ma ju | 14 a 15 | O128 |
Teoría de modelos.
Repaso
Extensiones y extensiones elementales
Morfismos entre estructuras
Cadenas de modelos
Teoremas de conservación
Límite de Fraisse
Teorías completas
Eliminación de cuantificadores
Modelo-completud
Modelos existencialmente cerrados
Álgebras de Boole
Filtros
Ultraproductos
Clases elementales
Álgebras de Boole y modelos
n tiposTal vez más...
AQUÍ el grupo de facebook para la comunicación y para compartir archivos.