T21_10

25 Março 2019, 10:00 • Mário Jorge Edmundo

Conjuntos definiveis, exemplos (Lagrange e Julia Robinson); definibilidade e operações de conjuntos; definibilidade e automorfismos, exemplos; eliminação de quantificadores; critério para eliminação de quantificadores.