Proposition 4.5 . [01AI]

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.5.

Any $\omega$ -psh function $\varphi$ is the limit of a decreasing sequence $(\varphi_{m})_{m=1}^{\infty}$ of $\omega$ -psh model functions.