Imagen de Portada
Código QR

BENIGN COST FUNCTIONS AND LOWNESS PROPERTIES.

We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost functions, called benign. This characterisation implies the containment of the class of strongly jump-traceable c.e. Turing de...

Descripción completa

Publicado en:Journal of Symbolic Logic Vol. 76; no. 1; pp. 289 - 313
Autores principales: GREENBERG, NOAM, NIES, ANDRÉ
Formato: Artículo
Publicado: Cambridge University Press Mar2011
Materias:
Complex variables
Mathematical logic
Random measures
Elliptic functions
Real variables
Acceso en línea:Ver este registro en EBSCOhost