Strong initial segments of models of IΔ0