2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/60446It is proved undecidable in ZFC + GCH whether every Z-module has a^{perp} {Z}-precover.LogicRings and Algebrastext