T_7a

8 Novembro 2022, 11:30 • Mário Jorge Edmundo

Eliminação de quantificadores (EQ). Conjunções básicas. Critério para EQ. EQ e completude. Exemplos, incluindo: axiomas para conjuntos infinitos; axiomas para ordens lineares densas e sem extremidades; axiomas para grupos abelianos, divisíveis e livres de torsão; axiomas para espaços vectoriais infinitos. Referência para a EQ para os axiomas para corpos algébricamente fechados, para corpos reais fechados e os teoremas de Chevalley e de Tarski-Seidenberg.