F-structures and integral points on semiabelian varieties over finite fields

Rahim Moosa, Thomas Scanlon

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 resu…