2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61716Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.Logictext