Neil Thapen Michael Soltys Weak theories of linear algebra. 195-208 2005 44 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-004-0249-8 db/journals/aml/aml44.html#ThapenS05