科研之友
微信
新浪微博
Facebook
分享链接
摘要
We introduce two-sorted theories in the style of Cook and Nguyen for the complexity classes L, and DET, whose complete problems include determinants over Z(2) and Z, respectively. We then describe interpretations of Soltys' linear algebra theory LAP over arbitrary integral domains, into each of our new theories. The result shows equivalences of standard theorems of linear algebra over Z2 and Z can be proved in the corresponding theory, but leaves open the interesting question of whether the theorems themselves can be proved.
- 出版日期2012
