Complexity of first-order properties of profinite groups

Characterize the possible descriptive complexity of the class of profinite groups satisfying a fixed first-order sentence.

Background

The question concerns the complexity, in a suitable coding space, of the class defined by a first-order group-theoretic sentence.

References

For a f.o. sentence $\varphi$, what is the possible complexity of ${G : G \models \varphi}$?

Open Problems in Mathematical Logic  (2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 6, subsection Profinite groups