In their paper, “Definable subgroups of algebraic groups over finite fields,” Hrushovski and Pillay write
… if V is an absolutely irreducible variety of dimension d over the finite field F_q, then the cardinality of V(F) is “roughly” q^d. So for nonstandard q, the cardinality of V(F) is exactly q^d.
Do I have any nonstandard readers who can explain what is meant by this provocative statement?
Quomodocumque 