T21_15

12 Abril 2019, 10:30 • Mário Jorge Edmundo

Modelo-completude, eliminação de quantificadores e modelo-completude, teste de Robinson; Exemplos: conjuntos infinitos; conjuntos ordenados, densos e sem extremidades (método para frente e para trás de Cantor); grupos abelianos divisíveis e livres de torsão; espaços vectoriais; grupos abelianos ordenados divisíveis; corpos algébricamente fechados; corpos reais fechados.