2025/04/18 by Chatzidakis, Zoé, Ramsey, Nicholas · 1 citation
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2504.14006
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.