18:19
Introdução ao Teorema de Löwenheim-Skolem
31:09
Subestruturas: Teorema de Löwenheim-Skolem, parte II
23:39
Subestruturas geradas: Teorema de Löwenheim-Skolem, III
24:48
Subestruturas elementares e Teorema de Löwenheim-Skolem-Tarski: Teorema de Löwenheim-Skolem, IV
23:10
Teste de Tarski-Vaught: Teorema de Löwenheim-Skolem, V
20:01
Demonstração: Teorema de Löwenheim-Skolem, VI
15:30
Primeira solução para o Paradoxo de Skolem: Teorema de Löwenheim-Skolem, VII
14:43
Teorema de Löwenheim-Skolem "para cima": Teorema de Löwenheim-Skolem, IX
