Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones
- Consuelo Martínez López Zuzendaria
Defentsa unibertsitatea: Universidad de Oviedo
Fecha de defensa: 2001(e)ko apirila-(a)k 28
- José María Barja Pérez Presidentea
- Benjamín Dugnol Álvarez Idazkaria
- Andrei Morozov Kidea
- Antonio Bahamonde Rionda Kidea
- César Luis Alonso González Kidea
Mota: Tesia
Laburpena
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.