eduroam-prg-sg-1-46-135.net.univ-paris-diderot.fr 2025-10-1:15:2:28

type.md

@@ -16,14 +16,8 @@ aliases:
 > > on notera plutôt $\operatorname{Th}(A) = \{ f \mid A \models f \}$ l'ensemble des énoncés vrais dans $A$, i.e la théorie de $A$
 ^definition
 
-> [!definition] Ensemble des types
-> Soit $\mathcal{F}_{n}$ l'ensemble des formules à variables libres dans $\{ x_1, \dots, x_{n} \}$
-> On note $\mathscr{S}_{n} \in \mathcal{P}(\mathcal{P}(\mathcal{F}_{n}))$ l'ensemble de tous les types en $\{ x_1, \dots, x_{n} \}$
->  - i $\mathscr{S}_{0}$ est l'ensemble de toutes les théories
->    
-> > [!info]- Topologie sur $\mathscr{S}_{n}$
-> > $f \in \mathcal{F}_{n}$
-> > $\{ t \in \mathscr{S}_{n} \mid f \in t \} =$
+[[ensemble des types]]
+
 # Propriétés
 
 # Exemples