Switch to: References

Add citations

You must login to add citations.
  1. First-order recognizability in finite and pseudofinite groups.Yves Cornulier & John S. Wilson - 2020 - Journal of Symbolic Logic 85 (2):852-867.
    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.These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini’s theorem on the nilpotence of the Frattini subgroup of a finite group is proved for pseudofinite groups.
    Download  
     
    Export citation  
     
    Bookmark