No label defined (Q4229119)

There is proved that any finite distributive lattice is isomorphic to the interval between two T\(_2\)-topologies on a set. An analogous result is known for T\(_1\)-topologies [\textit{R. Valent} and \textit{R. E. Larson}, Duke Math. J. 39, 401-411 (1972; Zbl 0312.06014)] and, under the existence of infinitely many measurable cardinals, for T\(_3\)-topologies [\textit{C. Good, D. W. McIntyre} and \textit{W. S. Watson}, Measurable cardinals and finite intervals between Hausdorff topologies, University of Auckland Math. Dept. Report Series 334, 1996]. (The reviewer showed that any finite interval between T\(_1\)-topologies is distributive (see [Arch. Math., Brno 11(1975), 105-114 (1976; Zbl 0347.54006)]). For the entire collection see [Zbl 0907.00034].