25 lines
834 B
Markdown
25 lines
834 B
Markdown
---
|
|
up:
|
|
tags:
|
|
- s/maths/topologie
|
|
aliases:
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> Soit $V = \{ x_1, \dots, x_{n} \}$ un ensemble (fini) de symboles de variables
|
|
> Un **type** en les variables $V$ est un ensemble de formules dont les variables libres appartiennent à $V$ de la forme :
|
|
> $\operatorname{tp}_{A}(a) = \{f \mid A \models f(a_1, \dots, a_{n}) \}$ l'ensemble des formules satisfaites dans $A$
|
|
> où $a = (a_1, \dots, a_{n})$ et où $A$ est une structure pour la signature donnée $a_1, \dots, a_{n} \in A$
|
|
>
|
|
> > [!info] Cas particulier important
|
|
> > pour $n = 0$ et $V = \emptyset$
|
|
> > 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
|
|
|
|
- on note $\mathscr{S}_{n}$ l'[[espace topologique des types]]
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|