Comparison Isomorphisms for Smooth Formal Schemes
  For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the crystalline cohomology of its special fiber with values in the associated F-isocrystal. 
Fabrizio Andreatta, Adrian Iovita
math.AG math.NT