(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ejercicio 1[editar]
Si 
y además es c.e., entonces 
es el rango de una función p.r.
Ejercicio 2[editar]
Probar que 
no es c.e.
Ejercicio 3[editar]
Enunciar y demostrar el Lema de Lindenbaum
Ejercicio 4[editar]
Demostrar que existen modelos no estandar de la aritmética
