Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones

  1. Fernández Combarro Álvarez, Elías
Supervised by:
  1. Consuelo Martínez López Director

Defence university: Universidad de Oviedo

Fecha de defensa: 28 April 2001

Committee:
  1. José María Barja Pérez Chair
  2. Benjamín Dugnol Álvarez Secretary
  3. Andrei Morozov Committee member
  4. Antonio Bahamonde Rionda Committee member
  5. César Luis Alonso González Committee member

Type: Thesis

Teseo: 82770 DIALNET

Abstract

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.