T21_14

8 Abril 2019, 10:00 • Mário Jorge Edmundo

Modelos, teorema da compacidade, método do diagram completo, Lowenheim-Skolem para cima; exemplos: aritmética não standard, análise não standard;  equivalência elementar, completude, teste de Vaught para completude.