Utilização da propriedade s-m-n
14 outubro 2008, 15:30 • Amilcar Sernadas
Transposição de operações sobre funções computáveis para operações sobre índices. Noção de sucessão computável de funções computáveis. Existência de conjuntos universais próprios. Índices de conjuntos listávies. Transposição de operações sobre conjuntos listáveis para operações sobre índices. Noção de sucessão listável (ou computável) de conjuntos listáveis. Existência de par de conjuntos listáveis mas não separáveis por conjunto decidível.