Paracompactness of paratopological groups which are GO-spaces

Stationary Sets in Topological and Paratopological Groups

“…Using our main result and the Balogh-Rudin generalization [1] of the Engelking-Lutzer theorem [8], we conclude that every monotonically normal topological (or paratopological) group is hereditarily paracompact. This significantly improves an earlier result in [9], namely, by considerably relaxing the hypothesis and significantly strengthening the conclusion.…”

“…Corollary 2.7 significantly improves an earlier result in [9] in which the hypothesis has one more additional condition, namely, that the group binary operation preserves the order, and the conclusion is paracompactness of the entire space only.…”