Resumen de The diophantine problem for addition and divisibility for subrings of rational functions over finite fields

Leonidas Antonio Cerda Romero, Carlos Martinez-Ranero

• It is shown that the positive existential theory of the structure ?S = (S?1F[t];=,F, 0, 1,+, |, f ? tf), where f ? tf is the multiplication by t map, S is non-empty a finite set of irreducible polynomials, and F is a finite field of odd characteristic, is undecidable.