Controlled K-theory

The controlled finiteness obstruction and torsion are defined using controlled algebra, giving a more algebraic proof of the topological invariance of torsion and the homotopy finiteness of compact ANRs.