From algebra to analysis: new proofs of theorems by Ritt and Seidenberg

From MaRDI portal
Publication:5039231



Abstract: Ritt's theorem of zeroes and Seidenberg's embedding theorem are classical results in differential algebra allowing to connect algebraic and model-theoretic results on nonlinear PDEs to the realm of analysis. However, the existing proofs of these results use sophisticated tools from constructive algebra (characteristic set theory) and analysis (Riquier's existence theorem). In this paper, we give new short proofs for both theorems relying only on basic facts from differential algebra and the classical Cauchy-Kovalevskaya theorem for PDEs.












This page was built for publication: From algebra to analysis: new proofs of theorems by Ritt and Seidenberg

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039231)