T_6a

25 Outubro 2022, 11:30 • Mário Jorge Edmundo

Equivalência elementar, isomorfismo e equivalência elementar; completude, exemplos; completude e consequência lógica; completude e modelos; teste de Vaught para a completude, kappa categoricidade; exemplos: conjuntos infinitos, ordens densas sem extremidades (e o método de Cantor para frente e para trás), espaços vetoriais infinitos, corpos algebricamente fechados.