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.

Advertisement

« notas de la exposición de Walther

nota acumulada – av »