14 citations · 62 across the 19 of their papers we have counts for
1 paper · 2 filters
Daniel Hoffmann, Piotr Kowalski
We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of thes…