AULA 26
18 Maio 2017, 09:30 • Fernando Ferreira
Menção de que toda a função recursiva parcial é fortemente representável em Q e, como corolário, que todo o conjunto recursivo é representável em Q.
Os conjuntos das consequências de Q e das sentenças refutadas por Q são recursivamente inseparáveis.