Seminario de Lógica
Up one levelPágina del Seminario de Lógica
2do Cuatrimestre de 2011
Dedicado a la teoría de modelos.
Horario de los encuentros:
Jueves de 14hs a 16hs en el Aula E24, Pabellón 1, Ciudad Universitaria.
Temas, Expositores y Material:
Boceto de Temario: Temario.
- Introducción a la teoría de modelos. Aplicaciones al álgebra. (por Rafael Grimson y Tomás Ibarlucía) Ejercicios.
- Teorema de Compacidad (por Santiago Figueira) Notas Ejercicios
- Completitud: Test de Vaught. Aplicaciones. (por Christian Espíndola) Ejercicios
- Eliminación de cuantificadores. Ejemplo: RCOF (por Rafael Grimson) Ejercicios
- Ultraproductos. Filtros y Ultrafiltros. Relación con otros resultados. Aplicaciones. (por Tomás Ibarlucía e Ignacio Ojea) Ejercicios
- Juegos: Equivalencia Elemental. Rango cuatificacional. Juegos de Ehrenfeuch-Fraïssé (por Santiago Figueira y Rafael Grimson). Ejercicios
Próximos encuentros:
20/10/2011 - Álgebras de Lindenbaum. Tipos(por Tomás Ibarlucía y Mariano Rean) 27/10/2011 - Diagramas. Omisión de tipos. Modelos Saturados. Teorema de Amalgamación (por Ignacio Ojea y ?). 3/11/2011 - Definibilidad: Definición de nuevos símbolos (extensiones definicionales). Teorema de Beth. Teorema de interpolación de Craig. Formas normales (prenexa, disyuntiva, de skolem) (por Santiago Figueira e Ignacio Ojea).
Bibliografía:
Material de uso interno
Bibliografía en la web:
P. Clark, Model Theory and Aplications. W. Henson, Model Theory . S. Simpson, Model Theory. Comentario de Hneson sobre la bibliografía de TM.
Enlaces relacionados:
Página de Lógica_y_Computabilidad del cuatrimestre pasado. Página de Lógica_y_Computabilidad del DC (Material verano 2011).
