Cardinalities of definable sets in finite structures

I will discuss model-theoretic developments stemming from a theorem of Chatzidakis, van den Dries and Macintyre, which states that given a formula &phi