First-order queries on finite abelian groups

DOI10.4230/LIPICS.CSL.2015.41MaRDI QIDQ5351949zbMATH OpenOpenAlexFDO

Authors Simone Bova, Barnaby Martin

Publication date 31 August 2017

Full work available at URL https://dx.doi.org/10.4230/LIPIcs.CSL.2015.41

zbMATH Keywords

finite abelian groupsfirst-order logicmonadic second-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory of finite structures (03C13) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Descriptive complexity of finite abelian groups
• Describing finite groups by short first-order sentences
• scientific article; zbMATH DE number 3930982
• On the computational complexity of the theory of Abelian groups
• scientific article; zbMATH DE number 3970736

Cited in

(5)

• Descriptive complexity of finite abelian groups
• scientific article; zbMATH DE number 3930982 (Why is no real title available?)
• First-Order Queries on Finite Structures Over the Reals
• Uniformly Automatic Classes of Finite Structures
• Twin-width. IV: Ordered graphs and matrices

This page was built for publication: First-order queries on finite abelian groups

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