Castillo Fernández, Marianela Isabel
(Universidad de Concepción., 2018)
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 ...