FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS

DOI10.1017/jsl.2020.14zbMath1485.03119arXiv1911.01976OpenAlexW3044029497MaRDI QIDQ5148113

John S. Wilson, Yves De Cornulier

Publication date: 29 January 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

first-order theoryFrattini subgrouppseudofinite groupspseudo-nilpotent groupspseudo-soluble groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Model-theoretic algebra (03C60) Finite nilpotent groups, (p)-groups (20D15) Model theory of finite structures (03C13) Ultraproducts and related constructions (03C20)

Cites Work

• Model theory of finite and pseudofinite groups
• Nilpotent groups
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• The elementary theory of finite fields
• Alternatives for pseudofinite groups
• FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS
• First-order characterization of the radical of a finite group
• Composition Factors from the Group Ring and Artin's Theorem on Orders of Simple Groups
• COMPONENTS AND MINIMAL NORMAL SUBGROUPS OF FINITE AND PSEUDOFINITE GROUPS
• Elementary properties of Abelian groups
• Unnamed Item
• Unnamed Item

This page was built for publication: FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS