Proving properties of matrices over \({\mathbb{Z}_{2}}\)

DOI10.1007/s00153-012-0280-0zbMath1273.03162OpenAlexW1982052585MaRDI QIDQ453198

Michael Soltys

Publication date: 18 September 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0280-0

zbMATH Keywords

reverse mathematicsproof complexitymatrix identitiesextended Frege systemsFrege systems

Mathematics Subject Classification ID

Matrices over special rings (quaternions, finite fields, etc.) (15B33) Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak theories of linear algebra
• The proof complexity of linear algebra
• On Powers of Matrices with Elements in the Field of Integers Modulo 2
• Matrices of zeros and ones
• Orthogonal Matrices Over Finite Fields
• Symmetric and Alternate Matrices in An Arbitrary Field, I
• Formal Theories for Linear Algebra

This page was built for publication: Proving properties of matrices over \({\mathbb{Z}_{2}}\)