Seminario de Teoría de Modelos

El seminario de Teoría de Modelos esta dirigido a estudiantes de pregrado y postgrado que estén interesados en el área. El objetivo es presentar sobre distintos temas del área usando múltiples instancias para profundizar suficiente en cada tema. Estos temas serán decididos con anticipación por los interesados. Los expositores serán voluntarios dentro de los participantes del seminario.

Presentemente es todos los jueves a las 17:00 en https://zoom.us/j/98053412617 salvo que se avise anticipadamente.

Organizador: Nicholas Mc-Donnell
2021-06-03
15:00hrs.
Gabriel Ramirez. University of Wisconsin-Madison
Método de Forcing: Modelos Transitivos Pt. 4
https://zoom.us/j/92354913643
2021-05-27
15:00hrs.
Cristobal Villalobos. UC
Metodo de Forcing: Conjuntos Constructibles
https://zoom.us/j/92354913643
2021-05-20
15:00hrs.
Javier Reyes. UC
Método de Forcing: Modelos Transitivos Pt. 3
https://zoom.us/j/92354913643
2021-04-29
15:00hrs.
Nicholas Mc-Donnell. UC
Método de Forcing: Modelos Transitivos Pt. 2
https://zoom.us/j/92354913643
2021-04-22
15:00hrs.
Javier Reyes. UC
Método de Forcing: Modelos Transitivos Pt. 1
https://zoom.us/j/92354913643
2021-04-15
15:00hrs.
Nicholas Mc-Donnell. Imfd
Método de Forcing: Axioma de Regularidad
https://zoom.us/j/92354913643
2021-04-08
15:00hrs.
Gabriel Ramirez. University of Wisconsin-Madison
Método de Forcing: Cardinales y Axioma de Elección
https://zoom.us/j/92354913643
2021-04-01
15:00hrs.
Javier Reyes. UC
Método de Forcing: Resumen Teoría de Conjuntos
https://zoom.us/j/92354913643
Abstract:
Después de una pausa de un año y medio, se retoma el seminario con un resumen de parte de los temas vistos.
2019-10-15
17:00hrs.
Fernanda Cares. PUC
Método de Forcing: Construcción de los Reales
Sala 3
2019-10-08
17:00hrs.
Benjamín Macías . UC
Método de Forcing: Conjuntos Finitos
Sala 3
2019-10-01
17:00hrs.
Fernanda Cares. PUC
Método de Forcing: Aritmética de Cardinales Pt. 2
Sala 1
2019-09-24
17:00hrs.
Fernanda Cares. PUC
Método de Forcing: Aritmética de Cardinales
Sala 3
2019-09-10
17:00hrs.
Javier Reyes. PUC
Método de Forcing: Preliminares en Teoría de Conjuntos Pt2
Sala 3
2019-09-03
17:00hrs.
Javier Reyes. PUC
Método de Forcing: Preliminares en Teoría de Conjuntos
Sala 3
2019-08-20
17:00hrs.
Gabriel Ramírez Raposo. PUC
Teorema de Knaster-Tarski
Sala por Definir
2019-08-13
17:00hrs.
Javier Reyes. PUC
Teorías Indecidibles
Sala 3
2019-08-06
17:00hrs.
Nicholas Mc-Donnell . PUC
Semantic Embeddings and Undecidability
Sala 5
2019-07-29
14:00hrs.
Nicholas Mc-Donnell. PUC
Álgebra Universal 10: Álgebras Libres Segunda Parte
Sala 3
2019-07-11
14:00hrs.
Javier Reyes. PUC
Álgebra Universal 9: Álgebras Libres
Sala 3
2019-07-08
14:00hrs.
Javier Reyes. PUC
Álgebra Universal 8: Operadores de Clase y Variedades
Sala 3