T21_4
1 Março 2019, 10:30 • Mário Jorge Edmundo
Variáveis e definição de verdade de Tarski. Notações especiais para termos, fórmulas e linguagens de primeira ordem. Exemplos de linguagens e estruturas: conjuntos infinitos; conjuntos ordenados (parcialmente, totalmente, densos, sem extremidades); grupos (abelianos, sem torsão, divisíveis, ordenados); R-módulos e espaços vectoriais; corpos (anéis, corpos, corpos algébricamente fechados, corpos ordenados, corpos reais fechados).