Ejercicio 1[editar]
Enunciar y demostrar el teorema de Rice
Ejercicio 2[editar]
Probar que no es c.e. ni co-c.e.
Ejercicio 3[editar]
Enunciar y demostrar el Lema de Lindenbaum
Ejercicio 4[editar]
Demostrar que, si tiene modelos arbitrariamente grandes, entonces tiene modelo infinito