On log differentials of local fields

Nicola Mazzari

We prove a logarithmic version of Fontaine's classic result on differentials of ${\mathcal{O}}_{\bar{K}}$ over ${\mathcal{O}}_K$.