Sumários
T21_6
11 Março 2019, 10:00 • Mário Jorge Edmundo
Lema de Tarski, exemplos; Lowenheim-Skolem para baixo; Critério algébrico para sub-estrutura elementar; Exemplos: sub-estruturas elementares em conjuntos infinitos.
T21_5
8 Março 2019, 10:30 • Mário Jorge Edmundo
Homomorfismos e termos; homomorfismos e fórmulas atómicas; mergulhos e fórmulas sem quantificadores; mergulhos e fórmulas existências; mergulhos elementares; isomorfismos são mergulhos elementares; sub-estrutura elementar.
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).