Caio Laurenti
Nesse seminário, será apresentada a sintaxe da lógica clássica de primeira ordem assim como a definição de consequência semântica, a partir da noção de estrutura. Depois, será definida a noção de subestrutura elementar e, finalmente, a prova do teorema de Lowenheim-Skolem para cima. Haverá espaço para a discussão do significado destes conceitos e as implicações dos teoremas de Lowenheim-Skolem para a semântica da lógica de primeira ordem e para a teoria de conjuntos.