Bounded countable atomic compactness of ordered groups Friedrich Wehrung (1995) Fundamenta Mathematicae