The proof theoretic strength of the Steinitz exchange theorem
From MaRDI portal
Publication:858298
DOI10.1016/j.dam.2006.05.001zbMath1111.03049OpenAlexW2036695067MaRDI QIDQ858298
Publication date: 9 January 2007
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.dam.2006.05.001
Matrix equations and identities (15A24) Algebraic systems of matrices (15A30) Complexity of proofs (03F20)
Cites Work