Iniciativa IMDEA
Resumen: This paper investigates ER(r^Z), that is the extension of the existential theory of the reals by an additional unary pre...
