2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152955We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond.LogicRings and Algebrastext