14 citations · 40 across the 14 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
Strongly minimal reducts of valued fields
Piotr Kowalski, Serge Randriambololona
We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the…
math.LO2014★ 9 cited
Existentially closed fields with G-derivations
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…