Grupos de automorfismo de predicados computablemente enumerables y endomorfismos de numeraciones

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