On iterated de Groot dualizations of topological spaces
In 2001 the author solved an open problem of J. D. Lawson and M. Mislove (Problem 540 in Open Problems in Topology) by showing that the process of taking (de Groot) duals terminates after finitely many steps with topologies that are duals of each other. In the present paper the author proves a new identity for dual topologies, namely that \(\tau^d=(\tau \vee \tau^{dd})^d\) . In addition, a solution to another open problem is also presented.
scientific article; zbMATH DE number 2136456