Is there a characterisation of those commutative local not necessarily noetherian rings that satisfy Krull's intersection theorem ? How can the intersection theorem be phrased in terms the module category of the ring or its completion ?