Resumen de The equational compatibility problem for the real line

George F. McNulty

• Walter Taylor proved recently that there is no algorithm for deciding of a finite set of equations whether it is topologically compatible with the real line in the sense that it has a model with universe $${\mathbb{R}}$$ and with basic operations which are all continuous with respect to the usual topology of the real line. Taylor�s account used operation symbols suitable for the theory of rings with unit together with three unary operation symbols intended to name trigonometric functions supplemented finally by a countably infinite list of constant symbols. We refine Taylor�s work to apply to single equations using operation symbols for the theory of rings with unit supplemented by two unary operation symbols and at most one additional constant symbol.