Partially paratopological groups (Q2401553)

The paper uses the notion of partially topological space which is a slight modification of the notion of generalized topological space of Delfs and Knebusch. Intuitively, a partially topological space is a set \(X\) with a system \(\text{Cov}_X\) of ``admissible'' families of open sets where a union of open sets is open only if it is the union of an admissible family. A smallification of a partially topological space \(X\) is obtained by taking the essentially finite families of open sets for admissible families. A group \(G\) with a partial topology is said to be a partially paratopological group, if the group operation is strictly continuous on the product \(G\times G\). If also the inverse map on \(G\) is strictly continuous, then \(G\) is called a partially topological group. There is a ZFC result of Banakh and Ravsky saying that every regular paratopological group is completely regular. The authors of the paper under review notice that this theorem holds in ZF\({}+{}\)DC and prove the following modification: In the theory ZF\({}+{}\)DC every regular partially paratopological group and every regular partially topological group is \(I_{st}\)-completely regular where \(I_{st}\) denotes the smallified unit interval \([0,1]\). It remains open whether DC is necessary.