On invariants for omega_1-separable groups
arXiv:math/9501223
Abstract
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 assuming diamond.