Proposition 4.13 . [03CE]
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 4.13.
Let be a closed -form with ample de Rham class and let be any -model of . Then there is a -model of dominating such that is determined on and a model function such that is -positive. If is semipositive and , then we may find such a model function with .