Final del 06/12/19 (Lógica y Computabilidad)

Ejercicio 1

Enunciar y demostrar el teorema de Rice

Ejercicio 2

Probar que $TOT$ no es c.e. ni co-c.e.

Ejercicio 3

Enunciar y demostrar el Lema de Lindenbaum

Ejercicio 4

Demostrar que, si $\Gamma$ tiene modelos arbitrariamente grandes, entonces $\Gamma$ tiene modelo infinito