Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- lista:modelos [2021/02/10 19:29]
aurichi
+++ lista:modelos [2023/03/20 14:12] (atual)
@@ Linha 43: / Linha 43: @@
 **~~#~~** Vamos exibir quem é $T$:
-  - Seja $T_0$ o conjunto com todas as variáveis do vocabulário $L$.
+  - Seja $T_0$ o conjunto com todas as variáveis e constantes do vocabulário $L$.
   - Dado $n \in \omega$, seja $T_{n+1} = T_n \cup \{f(t_1,\ldots,t_m) : f \text{ é uma função $m$-ária de $L$ e } t_1,\ldots,t_m \in T_n\}$
   - Defina $T = \bigcup_{n \in \omega} T_n$

Topologia e conjuntos em exercícios