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.