-sequential envelopes
Using CH we construct examples of sequential topological groups: 1. a pair of countable Fréchet topological groups whose product is sequential but is not Fréchet, 2. a countable Fréchet and topological group which contains no copy of the rationals.
It is proved that every non trivial continuous map between the sets of extremal elements of monotone sequential cascades can be continuously extended to some subcascades. This implies a result of Franklin and Rajagopalan that an Arens space cannot be continuously non trivially mapped to an Arens space of higher rank. As an application, it is proved that if for a filter on , the class of -radial topologies contains each sequential topology, then it includes the class of subsequential topologies....