F-structures and integral points on semiabelian varieties over finite fields
By Rahim Moosa, Thomas Scanlon. 2002
52 citations recorded by the source corpus.
Motivated by the problem of determining the structure of integral points on subvarieties of semiabelian varieties defined over finite fields, we prove a quantifier elimination and stability result for finitely generated modules over certain finite simple extensions of the integers given together with predicates for cycles of the distinguished generator of the ring.
View Paper: https://www.semanticscholar.org/paper/095a03806e3136e3ccbd80bcdad1731c703160a9