Kovár, Martin Maria - 2018
Problem 540 of J. D. Lawson and M. Mislove in Open Problems in Topology asks whether the process of taking duals terminate after finitely many steps with topologies that are duals of each other. The problem for spaces was already solved by G. E. Strecker in 1966. For certain topologies on...