FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS

DOI10.1017/jsl.2020.14zbMath1485.03119arXiv1911.01976MaRDI 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 theory; Frattini subgroup; pseudofinite groups; pseudo-nilpotent groups; pseudo-soluble groups

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20D10: Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks

20D20: Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure

03C60: Model-theoretic algebra

20D15: Finite nilpotent groups, (p)-groups

03C13: Model theory of finite structures

03C20: Ultraproducts and related constructions

Cites Work

• Unnamed Item
• Unnamed Item
• 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