A constructive proof of the Tychonoff's theorem for locales
In this paper, it is proved that a first-countable paratopological group has a regular -diagonal, which gives an affirmative answer to Arhangel’skii and Burke’s question [Spaces with a regular -diagonal, Topology Appl. 153 (2006), 1917–1929]. If is a symmetrizable paratopological group, then is a developable space. We also discuss copies of and of in paratopological groups and generalize some Nyikos [Metrizability and the Fréchet-Urysohn property in topological groups, Proc. Amer. Math....
Let be a -semigroup with unbounded generator . We prove that has generically a very irregular behaviour for as .