Integral $p$-adic Hodge theory in the imperfect residue field case

Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered $(\varphi,N)$-modules with connections. We then construct a fully faithful functor from the category of \emph{integral} semi-stable representations of $G_K$ to the category of Breuil-Kisin $G_K$-modules. Using the integral theory, we classify $p$-divisible groups over the ring of integers of $K$ by minuscule Breuil-Kisin modules with connections.