Definability of linear equation systems over groups and rings

DOI10.4230/LIPIcs.CSL.2012.213zbMath1252.03083arXiv1204.3022OpenAlexW2067063705MaRDI QIDQ4649548

Wied Pakusa, Erich Grädel, Anuj Dawar, Bjarki Holm, Eryk Kopczyński

Publication date: 22 November 2012

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

zbMATH Keywords

finite model theorylogics with algebraic operators

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Linear equations (linear algebraic aspects) (15A06) Descriptive complexity and finite models (68Q19)

Related Items (1)

Efficient information-theoretic multi-party computation over non-commutative rings

This page was built for publication: Definability of linear equation systems over groups and rings