2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65344We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.Number TheoryAlgebraic Geometry14G40text