COURS // MAT7150 Théorie des modèles
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 2
- Nombre de crédits : 3
- Discipline : Mathématiques
Description
Ce cours est une introduction à la théorie des modèles classique. Complétude et compacité de la logique du premier ordre. Équivalence élémentaire. Extensions élémentaires et théorèmes de Lowenheim-Skolem. Diagrammes. Théories modèle-complètes. Espaces de types. Théorème d'omission des types. Théories oméga-catégoriques. Théorèmes de préservation. Définissabilité. Ultraproduits. Structures saturées. Théorème de catégoricité de Morley.
Horaire - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.