2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/79367We give a proof that OCA holds in the Pmax extension of L(R). The proof is general enough to be adapted to most Pmax variations.7 pages, no figuresLogic03E40text