Schanuel property for additive power series
We prove a version of Schanuel’s Conjecture for a field of Laurent power series in positive characteristic replacing ℂ and a non-algebraic additive power series replacing the exponential map.