Ir al contenido

Documat


Resumen de Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones

Elías Fernández Combarro Álvarez Árbol académico

  • En esta memoria se usan conceptos algebraicos para estudiar objetos de la teoria de la computabilidad, Asi, se construyen numeraciones (es decir, codificaciones de conjuntos mediante numeros naturales cuyo semigrupo de endomorfismos es minimo en algun sentido y se caracterizan las numeraciones negativas mediante una clase de sistemas de ecuaciones.

    Tambien se estudian los automorfismos de la funcion universal computable, mostrando que todos ellos son recursivos.


Fundación Dialnet

Mi Documat