The Monsky-Washnitzer cohomology and the de Rham cohomology
arXiv:math/0510316
Abstract
The author constructs a theory of dagger formal schemes over and then defines the de Rham cohomology for flat dagger formal schemes with integral and regular reductions which generalizes the Monsky-Washnitzer cohomology. Finally the author gets Lefschetz' fixed pointed formula for with certain conditions.
arXiv comment16 pages