### Current browse context:

math.AC

### Change to browse by:

### References & Citations

# Mathematics > Commutative Algebra

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

(Submitted on 7 Jul 2021)

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.

Link back to: arXiv, form interface, contact.