Measures on bounded perfect PAC fields

Abstract

We describe a construction for producing Keisler measures on bounded perfect PAC fields. As a corollary, we deduce that all groups definable in bounded perfect PAC fields, and even in unbounded perfect Frobenius fields, are definably amenable. This work builds on our earlier constructions of measures for $e$-free PAC fields and a related construction due to Will Johnson.