First-order Recognizability in finite and pseudofinite Groups.

Wed, 01 Jan 2020 00:00:00 +0100

Yves Cornulier, John S. Wilson:
First-order Recognizability in finite and pseudofinite Groups. J. Symb. Log. 85(2): 852-867 (2020)