hoy - para el viernes

Hoy básicamente vimos dos cosas: modelos no estándar de la aritmética y el criterio de Vaught. De modelos no estándar vimos

1. Existencia (en detalle, con compacidad)
2. Calculamos el tipo de orden de los modelos no estándar contables (que resulta siempre ser ω+(ω^*+ω)×η, donde ω^* es el tipo de orden de los enteros negativos y η el tipo de orden de los racionales).
3. Aún no hemos visto cómo puede haber más de un modelo no estándar (módulo isomorfismo).

Del criterio de Vaught, vimos un esquema de la demostración, y un primer corolario (la teoría T_odse (orden denso sin extremos) es completa). Más adelante, veremos otras aplicaciones, algunas muy sorprendentes.