AT20 Conjuntod m Completos e Efectivamente Não Listáveis
21 novembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjuntos m completos. O caso de K^u sendo u função universal própria. Caracterizações de conjunto m completo. Classe de K^u.
Conjunto efectivamente não listável. O caso de K^c. Preservação da listabilidade efectiva por redução.