18:19
Introdução ao Teorema de Löwenheim-Skolem
31:09
Subestruturas: Teorema de Löwenheim-Skolem, parte II
23:39
Substructures generated: Löwenheim-Skolem Theorem, 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
Upward Löwenheim-Skolem Theorem: Löwenheim-Skolem Theorem, IX
