Université Claude Bernard Lyon I 2nd semestre

Niveau: Supérieur, Master

• redaction

Université Claude Bernard Lyon I 2nd semestre 2008/2009 Master 1 Logique et théorie des ensembles I. Soit T une théorie complète. Montrer que si T a un modèle fini alors tous les modèles de T sont isomorphes. Le résultat est-il encore vrai si l'on ne suppose pas que T est complète ? Correction. L'énoncé la structureM a au plus n éléments est un énoncé du premier ordre : ?x1, . . . , xn ? ? ? 1≤i

• méthode


• preuve du théorème


• application directe du théorème de compacité et de la méthode des diagrammes


• compacité


• relation d'équivalence


• classes de ei


• formule


• infinité de ? ?