Universal Extensions and One Dimensional Crystalline Cohomology door Bas Mazur