On Finite Type 3-manifold invariants IV: Comparison of Definitions

This paper compares the definitions of finite-type invariants due to Ohtsuki and to Garoufalidis, showing that, residually, type 3m of the former equals type m of the latter. It also shows that type 2m Ohtsuki invariants define knot invariants of type 3m (first proved by Habegger).