La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.
Ejercicio 1
Si 
y además es c.e., entonces 
es el rango de una función p.r.
Ejercicio 2
Enunciar y demostrar el teorema de Rice.
Ejercicio 3
Si 
es m.c. entonces para toda fórmula 
vale:
- 
(o excluyente) 
- 
Ejercicio 4
Si tiene modelos arbitrariamente grandes, tiene modelo infinito.
