First-order recognisability in finite and pseudofinite groups

Yves Cornulier, John S. Wilson

It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with 'solu…