On topological groups admitting a base at identity indexed with ${\omega }^{\omega }$

Arkady G. Leiderman, Vladimir G. Pestov, Artur H. Tomita

A topological group $G$ is said to have a local ${\omega }^{\omega }$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set ${\omega }^{\omega }$. In particular, every m…