On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
scientific article; zbMATH DE number 5943607
scientific article