Publications > Preprint server > Preprint Number 1680
Preprint Number 1680
1680. Yves Cornulier and John S. Wilson First-order recognisability in finite and pseudofinite groups E-mail: Submission date: 5 November 2019 Abstract: 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 'solubility' replaced by 'nilpotence' and
'perfectness', among others, are false. Mathematics Subject Classification: Primary 03C60, 20A15, Secondary 03C13, 03C20, 20D10, 20D15, 20D20 Keywords and phrases: |
Last updated: March 23 2021 09:21 | Please send your corrections to: |