Ample generics and extreme amenability for the automorphism groups of Boolean powers

In a recent piece of work, PL and VR have developed a structure theory for filtered Boolean powers of finite simple non-abelian Malcev algebras and their automorphism groups. Boolean powers are certain kinds of subdirect powers, and play a significant role at the interface of algebra and model theory, as well as in infinite group theory. Malcev…