Después de Julia Robinson, siguiendo una técnica de Vidaux y Videla, para demostrar que un anillo R de enteros algebraicos totalmente reales tiene su teoría de primer orden indecidible, se requiere caracterizar el conjunto ...