Let
\mathfrak{o} be a complete discrete valuation ring of mixed characteristic
(0,p) and
\mathfrak{X}_{0} a smooth formal
\mathfrak{o}-scheme. Let
\mathfrak{X}\rightarrow \mathfrak{X}_{0} be an admissible blow-up. In the first part, we introduce sheaves of differential operators
\mathscr{D}_{\mathfrak{X},k}^{\dagger } on
\mathfrak{X}, for every sufficiently large positive integer
k, generalizing Berthelot’s arithmetic differential operators on the smooth formal scheme
\mathfrak{X}_{0}. The coherence of these sheaves and several other basic properties are proven. In the second part, we study the projective limit sheaf
\mathscr{D}_{\mathfrak{X},\infty }=\mathop{\varprojlim }\nolimits_{k}\mathscr{D}_{\mathfrak{X},k}^{\dagger } and introduce its abelian category of coadmissible modules. The inductive limit of the sheaves
\mathscr{D}_{\mathfrak{X},\infty }, over all admissible blow-ups
\mathfrak{X}, is a sheaf
\mathscr{D}_{\langle \mathfrak{X}_{0}\rangle } on the Zariski–Riemann space of
\mathfrak{X}_{0}, which gives rise to an abelian category of coadmissible modules. Analogues of Theorems A and B are shown to hold in each of these settings, that is, for
\mathscr{D}_{\mathfrak{X},k}^{\dagger },
\mathscr{D}_{\mathfrak{X},\infty }, and
\mathscr{D}_{\langle \mathfrak{X}_{0}\rangle }.