Cut-by-curves criterion for the overconvergence of p-adic differential equations

In this paper, we prove a `cut-by-curves criterion’ for the overconvergence of integrable connections on certain rigid analytic spaces and certain varieties over $p$-adic fields.