Describing finite groups by short first-order sentences

DOI10.1007/s11856-017-1563-2zbMath1403.03059arXiv1409.8390OpenAlexW2962747388MaRDI QIDQ1678638

André Nies, Katrin Tent

Publication date: 17 November 2017

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.8390

zbMATH Keywords

finite groupfinite simple grouptransitive permutation groupfirst-order formula

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Finite simple groups and their classification (20D05) Applications of model theory (03C98) Multiply transitive finite groups (20B20)

Related Items (2)

Model theory of finite and pseudofinite groups ⋮ Algorithmic search in group theory

Cites Work

• Short presentations for finite groups
• Subgroup growth.
• Short presentations for alternating and symmetric groups
• Presentations of finite simple groups: A quantitative approach
• The Finite Simple Groups
• Enumerating finite groups and their defining relations
• Kolmogorov Random Graphs and the Incompressibility Method
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Describing finite groups by short first-order sentences