TY - RPRT TI - First-order recognisability in finite and pseudofinite groups AU - Yves Cornulier AU - John S. Wilson PY - 2020 DO - 10.1017/jsl.2020.14 UR - https://arxiv.org/abs/1911.01976 ID - 1911.01976 ER -