2011/06/03 by James Freitag, Freitag, James
Mathematics · #03C65 #12H05 #Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO) #math.AC #math.LO #msc:03C65 #msc:12H05
paper · pdf · doi:10.48550/arxiv.1106.0703
11 Pages
arxiv created 2012/02/03 · arxiv updated 2012/02/06
We study completeness in partial differential varieties. We generalize many results from ordinary differential fields to the partial differential setting. In particular, we establish a valuative criterion for differential completeness and use it to give a new class of examples of complete partial differential varieties. We use methods from both differential algebra and model theory.