Descriptive complexity of finite abelian groups

DOI10.1142/S0218196710006047MaRDI QIDQ3067786zbMATH OpenFDO

Authors Walid Gomaa

Publication date 13 January 2011

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196710006047

zbMATH Keywords

abelian groupsdefinabilitydescriptive complexityEhrenfeucht-Fraïssé gamesexpressibility

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Finite abelian groups (20K01) Descriptive complexity and finite models (68Q19)

Recommendations

• First-order queries on finite abelian groups
• Describing finite groups by short first-order sentences
• On the computational complexity of the theory of Abelian groups
• On distinguishing sets of structures by first-order sentences of minimal quantifier rank
• Descriptive complexity of finite structures: Saving the quantifier rank

Cites work

• FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS
• scientific article; zbMATH DE number 1302020 (Why is no real title available?)
• scientific article; zbMATH DE number 824935 (Why is no real title available?)

Cited in

(8)

• On the computational complexity of the theory of Abelian groups
• A continuous model for systems of complexity 2 on simple abelian groups
• First-order queries on finite abelian groups
• Descriptive complexity of finite structures: Saving the quantifier rank
• Count-free Weisfeiler-Leman and group isomorphism
• On the descriptive complexity of groups without abelian normal subgroups
• On the parallel complexity of group isomorphism via Weisfeiler-Leman
• On the descriptive complexity of groups without abelian normal subgroups (extended abstract)

This page was built for publication: Descriptive complexity of finite abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067786)