La teoría de los campos cerrados reales es decidible. Los hiperrealistas satisfacen esa teoría, por lo que podemos interpretar los enunciados de la teoría de los campos cerrados reales como si fueran hiperrealistas.
Si agregamos un predicado unario para "es un número real estándar" al lenguaje, ¿la teoría sigue siendo decidible?
