Final del 24/04/19 (Lógica y Computabilidad)

Ejercicio 1

Si $A\neq \emptyset$ y además es c.e., entonces $A$ es el rango de una función p.r.

Ejercicio 2

Probar que $TOT$ no es c.e.

Ejercicio 3

Enunciar y demostrar el Lema de Lindenbaum

Ejercicio 4

Demostrar que existen modelos no estandar de la aritmética