2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/146770I show that assuming PFA, every proper Scott set is the standard system of a model of PA. A Scott set X is proper if it is arithmetically closed and the quotient Boolean algebra X/Fin is a proper partial order.Logic03H15; 03E35text