AULA 25
17 Maio 2017, 11:30 • Fernando Ferreira
O teorema da existência de modelos. Discussão sobre o teorema da completude de Gödel.
A noção de representabilidade numa teoria aritmética. Comparação com a noção de definibilidade aritmética. Representabilidade na teoria Q.