On invariants for omega_1-separable groups

Paul C. Eklof, Matthew Foreman, Saharon Shelah

We 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 as…