Proposition 5.55 . [02UU]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Proposition 5.55.
Let be a field complete with respect to an absolute value associated to a nontrivial discrete valuation. Let be the ring of integers. Let be a proper model over of . Then there exists a finite extension of with ring of integers , a semi-stable model of , and a proper morphism of models .