Ferramentas do usuário
dica:ultra3
Para cada sentença $\varphi$, seja $A_\varphi = \{ i \in I : \mathcal{M}_i \models \varphi \}$.
Mostre que $\{ A_\varphi : \varphi \in T \}$ tem a propriedade da interseção finita. Use os exercícios 2 e 3.
Use o Teorema de Łoś para concluir o resultado.
dica/ultra3.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
