Butler groups and Shelah's Singular Compactness
A torsion-free group is a -group if and only if it has an axiom-3 family of decent subgroups such that each member of has such a family, too. Such a family is called -family. Further, a version of Shelah’s Singular Compactness having a rather simple proof is presented. As a consequence, a short proof of a result [R1] stating that a torsion-free group in a prebalanced and TEP exact sequence is a -group provided and are so.