A family of totally ordered groups with some special properties
Let be a field with a Krull valuation and value group , and let be the valuation ring. Theories about spaces of countable type and Hilbert-like spaces in [