Ayer vimos juegos dinámicos de Ehrenfeucht-Fraïssé, los 
: versiones de nuestros juegos EF, pero con un reloj ordinal para el jugador 
(una cadena descendente de ordinales – necesariamente finita, que le da la oportunidad a Abelardo de escoger longitudes finitas de jugadas,… un numero finito de veces, todo controlado por el ordinal inicial 
).
: versiones de nuestros juegos EF, pero con un reloj ordinal para el jugador (una cadena descendente de ordinales – necesariamente finita, que le da la oportunidad a Abelardo de escoger longitudes finitas de jugadas,… un numero finito de veces, todo controlado por el ordinal inicial ).Igualmente, estudiamos el “Scott Watershed” de dos modelos, 
(¿cuenca de Scott? ¿paso de Scott? ¿se le ocurre una mejor traducción?) y las alturas de Scott de un modelo. Además, demostramos que dados dos modelos 
y 
, si 
entonces 
,… ¡si existe!
(¿cuenca de Scott? ¿paso de Scott? ¿se le ocurre una mejor traducción?) y las alturas de Scott de un modelo. Además, demostramos que dados dos modelos y , si entonces ,… ¡si existe!Para el 27 de febrero, traigan los siguientes problemas:
p. 115: 7, 9, 11, 16, 17.
p. 121: 4, 5, 9.
También revise los juegos MEG (Model Existence Game) y SG (Semantic Game), en el capítulo 5. Por razones de tiempo, insistiré poco en esos juegos en el caso Primer Orden. Sin embargo, usted debe poder resolver ejercicios de las tandas de páginas 94 y 100 (omisión de tipos, interpolación, clases PC).
Escrito por Andrés Villaveces 
