2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/64097Motivated by the problem of determining the structure of integral points on subvarieties of semiabelian varieties defined over finite fields, we prove a quantifier elimination result for certain modules over finite simple extensions of the integers given together with predicates for orbits of the distinguished generator of the ring.33 pages, correction made to authors' informationLogicAlgebraic GeometryNumber Theory03C60, 11G25, 11G10, 14K12text