On the Isomorphism Relation for Omnigenous Locally Finite Groups

The concept of an omnigenous locally finite group was introduced in [2] as a generalization of Hall’s universal countable locally finite group. In this paper we show that the class of all countable omnigenous locally finite groups is Borel complete, hence it has the maximum Borel cardinality of isomorphism types among all countable structures. [2] M. Etedadialiabadi, S. Gao, F. Le Maître, J. Melleray, Dense locally finite subgroups of automorphism groups of ultraextensive spaces, Adv. Math. 391 (2021), 107966.