In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline{polynomial}$ equations.
Is there some version like this: "Let $R$ be a local Noetherian Henselian ring(not necessarily regular), over a normed field. Given an arbitrary (possibly countable) system of analytic equations over $R$, with a solution over the completion of $R$, there exists also a solution in $R$, sufficiently close to the formal solution" ??

What is known for non-Noetherian rings? e.g. for $C^\infty$, $C^r$?
(Actually, for $C^\infty$ I learned about one approximation theorem, unpublished in the old USSR times..)