Published online by Cambridge University Press: 26 February 2010
In line with the Ritt–Seidenberg elimination theorem in differential algebra [RIT], [SEI], and with an “approximation theorem” by Denef and Lipshitz [DEL] for formal power series, and with an elimination theorem by the author [RUB1] for C∞ solutions of systems of algebraic differential equations (ADE's), one is led to consider the corresponding elimination question for Cn solutions. Somewhat in the spirit of [RUB2], though, we produce a negative result in this direction.