cours/type.md

up, tags, aliases

up	tags	aliases
	s/maths/topologie

[!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