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.