parcial « Tópicos Avanzados de Lógica (I-2008)

el parcial – temas restantes – exposiciones

Marzo 24, 2008

Haciendo clic aquí puede bajar el parcial de la semana pasada (único parcial del curso). La semana entrante entregaré los parciales corregidos, durante el Taller de Teorías Dependientes.
Esta semana la tarea es asistir al Taller de Teorías Dependientes.
Después del Taller retomaremos, con temas nuevos. Los dos temas restantes son Configuración de Grupos en Clases Homogéneas Cuasiminimales, y Dicotomías Conjuntísticas en Teoría de Modelos (MA y Diamantes Débiles pueden implicar propiedades modelo-teóricas distintas).
Me gustaría que traigan sus temas de exposición esta semana, para afinar detalles.

Marzo 11, 2008

Hola a todos.

El parcial de mañana será sobre los siguientes temas:

Semántica de juegos, con mucho énfasis en los juegos $EF_\omega(M,N)$ , $EF_n(M,N)$ y $EFD_\alpha(M,N)$ . Habrá una pregunta también sobre el juego con cuantificadores generalizados $EF_n^Q(M,N)$ .
Cuencas de Scott de pares de modelos, alturas de Scott de modelos, sentencias de Scott.
Los teoremas de Karp y Kueker vistos en clase (cuencas de Scott de ordinales, conteo de grupos de automorfismos y equivalencia parcial, etc.).
Indefinibilidad del buen orden en $L_{\infty \omega}$ .
Clases definibles en $L_{\omega \omega}$ y clausura bajo $\equiv^n$ . Clases definibles en $L_{\infty \omega}$ y clausura bajo $\equiv^\alpha$ .