Sumários
TP21_13
5 Abril 2019, 10:30 • Mário Jorge Edmundo
Filtros e ultrafiltros, filtro maximal, propriedade da interseção finita; produtos diretos, reduzidos e ultraprodutos de estruturas; produtos reduzidos e interpretação de termos; teorema de Los; contra-exemplo.
T21_12
1 Abril 2019, 10:00 • Mário Jorge Edmundo
Eliminação de quantificadores, exemplos: grupos abelianos divisíveis ordenados; corpos algebricamente fechados (teorema de Chevalley); corpos reais fechados (teorema de Tarski-Seidenberg). Aplicações: sub-estrutura elementar, conjuntos definíveis e não definibilidade.
T21_11
29 Março 2019, 10:30 • Mário Jorge Edmundo
Eliminação de quantificadores, exemplos: conjuntos infinitos; conjuntos linearmente ordenados, densos e sem extremidades; grupos abelhados divisíveis e livre de torsão; espaços vectoriais. Aplicações: sub-estrutura elementar, conjuntos definíveis e não definibilidade.