Decidability of the theory of addition and the Frobenius map in rings of rational functions

Dimitra Chompitaki, Manos Kamarianakis, Thanases Pheidas

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a pri…