Algebraic proofs of some fundamental theorems in algebraic $K$-theory

Tom Harris
2015 Homology, Homotopy and Applications  
We present new proofs of the additivity, resolution, and cofinality theorems for the algebraic K-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic K-groups via binary complexes.
doi:10.4310/hha.2015.v17.n1.a13 fatcat:ypro6tscxrcm7ldl2wsvlrspru