Grupos de automorfismo de predicados computablemente enumerables y endomorfismos de numeraciones

dc.contributor.advisor	Martínez López, Consuelo
dc.contributor.author	Fernández-Combarro Álvarez, Elías
dc.contributor.other	Matemáticas, Departamento de
dc.date.accessioned	2013-06-14T10:14:57Z
dc.date.available	2013-06-14T10:14:57Z
dc.date.issued	2001-04-28
dc.identifier.other	https://www.educacion.gob.es/teseo/mostrarRef.do?ref=248310
dc.identifier.uri	http://hdl.handle.net/10651/16680
dc.description.abstract	En esta memoria se usan conceptos algebraicos para estudiar objetos de la teoría de la computabilidad. Así, se construyen numeraciones (es decir, codificaciones de conjuntos mediante números naturales cuyo semigrupo de endomorfismos es mínimo en algún sentido y se caracterizan las numeraciones negativas mediante una clase de sistemas de ecuaciones. También se estudian los automorfismos de la función universal computable, mostrando que todos ellos son recursivos
dc.format.extent	169 p.
dc.language.iso	spa
dc.title	Grupos de automorfismo de predicados computablemente enumerables y endomorfismos de numeraciones
dc.type	doctoral thesis	spa
dc.local.notes	Tesis 2001-068

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.