Algebraic aspects of the computably enumerable degrees.

AUTOR(ES)
RESUMO

A set A of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. The class of sets B which contain the same information as A under Turing computability (

Documentos Relacionados