Sumários
T_7b
9 Novembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).
T_7a
8 Novembro 2022, 11:30 • Mário Jorge Edmundo
Eliminação de quantificadores (EQ). Conjunções básicas. Critério para EQ. EQ e completude. Exemplos, incluindo: axiomas para conjuntos infinitos; axiomas para ordens lineares densas e sem extremidades; axiomas para grupos abelianos, divisíveis e livres de torsão; axiomas para espaços vectoriais infinitos. Referência para a EQ para os axiomas para corpos algébricamente fechados, para corpos reais fechados e os teoremas de Chevalley e de Tarski-Seidenberg.
T_6b
2 Novembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).
T_6a
25 Outubro 2022, 11:30 • Mário Jorge Edmundo
Equivalência elementar, isomorfismo e equivalência elementar; completude, exemplos; completude e consequência lógica; completude e modelos; teste de Vaught para a completude, kappa categoricidade; exemplos: conjuntos infinitos, ordens densas sem extremidades (e o método de Cantor para frente e para trás), espaços vetoriais infinitos, corpos algebricamente fechados.
T_5b
19 Outubro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).