1: \begin{abstract} We extend the theory of Kisin modules and crystalline representations to allow more general

2: coefficient fields and lifts of Frobenius.

3: In particular, for a finite and totally ramified extension $F/\Q_p$,

4: and an arbitrary finite extension $K/F$,

5: we construct a general class of infinite and totally wildly ramified

6: extensions $K_\infty/K$ so that the functor $V\mapsto V|_{G_{K_\infty}}$ is fully-faithfull

7: on the category of $F$-crystalline representations $V$.

8: We also establish a new classification of $F$-Barsotti-Tate groups via Kisin modules of height 1 which allows

9: more general lifts of Frobenius.

10: \end{abstract}

11: