AULA 22
4 Maio 2017, 09:30 • Fernando Ferreira
Demonstração de que um predicado é aritmeticamente definível se, e somente se, está na hierarquia aritmética
O teorema da indefinibilidade da verdade de Tarski
O primeiro teorema da completude de Gödel (versão semântica).
Notas sobre a função beta de Gödel e sobre as definições de predicados \Sigma_1 por fórmulas E-rudimentares.