nota acumulada – av

A continuación está su nota correspondiente a la primera mitad del semestre. La nota está sobre 5.0.

del cuarto punto

Hola a todos,

espero que vayan bien con el cuarto punto del examen. Aquí va una pista:

1. Demuestre que si todos los modelos de T son infinitos, y todo par de modelos contables M y N de T tienen extensiones elementales isomorfas, entonces T es completa.
2. Todo modelo contable tiene una extensión en la cual F tiene grado de trascendencia ω y el modelo completo tiene grado de trascendencia ω sobre F.
3. Si dos modelos y son como los que encontró en la parte (2) arriba, y ambos son contables, entonces son isomorfos.
4. Use lo anterior para ver que puede aplicar el criterio en (1) arriba.

Suerte con este punto.

notas de la exposición de Walther

Haciendo clic aquí puede bajar las notas (complementarias) de la exposición de Walther sobre eliminación de cuantificadores en RCF.