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

Dmitrii Pavlov, Gleb Pogudin, Yury Razmyslov

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 PDE…