Introduction: Vue d’ensemble
Théorie des modèles : vue d’ensemble
Théorie des modèles (M2 LMFI)
Cours 1: Rappels
Notations et rappels
Extension élémentaire commune, Amalgamation élémentaire, Applications élémentaires partielles
Teacher: Tomas Ibarlucia
Va-et-vient
Teacher: Tomas Ibarlucia
Résultats de préservation
Teacher: Tomas Ibarlucia
Modèle complétude et théories modèle compagnes
Teacher: Tomas Ibarlucia
Elimination des quantificateurs pour ACF, Types
Teacher: Tomas Ibarlucia
Espace des types
Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...