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.
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