What are the completions of first-order group theory? A completion of some theory $T$ (i.e. set of first order statements $T$) is a consistient theory $T' \supseteq T$ such that for every first order statement $\phi$, either $\phi \in T'$ or $\lnot \phi \in T'$.
For example, the completions of the theory of algebraically closed fields consist of:


*

*The theory of algebraically closed fields of characteristic $0$ (which the complex numbers are a model of).

*For every prime $p$, the theory of algebraically closed fields of characteristic $p$.


The first order theory of groups is expressed in the language with a single binary operator, and is axiomatized by the following statements:


*

*$\forall a.b.c. (a \ast b)\ast c = a \ast (b \ast c)$

*$\exists e. \forall a. e \ast a = a = a \ast e$

*$\forall a. \exists z. \forall b. (a \ast z) \ast b = b = b \ast (a \ast z) \land (z \ast a) \ast b = b = b \ast (z \ast a)$
My question is, what are the completions of this theory?

Given a group $G$, we define $Th(G)$ (the theory of $G$) as the set of true statements about $G$.
Note that although every complete theory arises as the theory of some group, two groups might have the same theory. Since there are $\aleph_0$ statements, there are at most $2^{\aleph_0} = \mathfrak c$ consistient and complete theories, and so many "collisions" will occur.
An obvious example is that two isomorphic groups will have the same theory. More generally two groups have the same theory iff they are elementarily equivalent (by definition).

This is totally intractible.  For instance, the complete theory of every finite group is a completion (and these completions are distinct for non-isomorphic finite groups since elementarily equivalent finite structures are isomorphic), so describing all the completions is at least as hard as classifying finite groups.  It is also easy to see that there are $\mathfrak{c}$ different completions: for instance, any subset of the statements "there exists an element of order $p$" where $p$ ranges over all primes can be true in a completion.
