1. M. Abashidze, Algebraic analysis of the Gödel–Löb modal system, Ph.D. Thesis, Tbilisi State University, Tbilisi, 1987 (in Russian).
2. M. Abashidze, L. Esakia, Cantor's scattered spaces and the provability logic, Baku Internat. Topological Conf. (Abstract, Part I), Baku, 1987, p. 3.
3. Separation axioms between T0 and T1;Aull;Indag. Math.,1962
4. Topological duality for diagonalizable algebra;Bernardi;Notre Dame J. Formal logic,1988
5. Infinitary combinatorics and modal logic;Blass;J. Symbolic Logic,1990