14 citations · 40 across the 14 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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…
math.NT2014
Ax-Schanuel condition in arbitrary characteristic
Piotr Kowalski
We prove a positive characteristic version of Ax's theorem on the intersection of an algebraic subvariety and an analytic subgroup of an algebraic group. Our result is stated in a…