AULA 21

3 Maio 2017, 11:30 • Fernando Ferreira

A hierarquia aritmética é uma hierarquia estrita.

Relações e funções aritmeticamente definíveis. Toda a função recursiva primitiva é aritmeticamente definível (uso do lema da função beta de Gödel).