@unpublished {MMK,
 author={Kov\'ar, Martin Maria Kov\'ar},
 title={The solution to {P}roblem 540},
 journal={Theoret. Comput. Sci.},
 note={To appear in Theoret. Comput. Sci. B},
 year={2002},
}
@article {Bu,
 author={Burdick, Bruce S.},
 title={A note on iterated duals of certain topological spaces}, 
 journal={Theoret. Comput. Sci.},
 volume={275},
 number={1--2},
 pages={69--77},
 year={2002},
}
@article {MR34:8362,
 AUTHOR = {de Groot, J.},
 TITLE = {An isomorphism principle in general topology},
 JOURNAL = {Bull. Amer. Math. Soc.},
 VOLUME = {73},
 YEAR = {1967},
 PAGES = {465--467},
 MRCLASS = {54.20},
 MRNUMBER = {34 \#8362},
 MRREVIEWER = {S. A. Naimpally},
}
@article {GHSW,
 AUTHOR = {de Groot, J. and Herrlich, H. and Strecker, G. E. and Wattel, E.},
 TITLE = {Compactness as a operator},
 JOURNAL = {Compositio Math.},
 VOLUME = {21},
 YEAR = {1969},
 PAGES = {349--375},
 MRCLASS = {54.52},
 MRNUMBER = {41 \#4490},
 MRREVIEWER = {Anne K. Steiner},
}
@incollection {GSW,
 AUTHOR = {de Groot, J. and Strecker, G. E. and Wattel, E.},
 TITLE = {The compactness operator in general topology},
 BOOKTITLE = {General Topology and its Relations to Modern Analysis and
 Algebra, II (Proc. Second Prague Topological Sympos., 1966)},
 PAGES = {161--163},
 PUBLISHER = {Academia},
 ADDRESS = {Prague},
 YEAR = {1967},
 MRCLASS = {54.20},
 MRNUMBER = {38 \#657},
 MRREVIEWER = {Anne K. Steiner},
}
@incollection {LM,
 AUTHOR = {Lawson, Jimmie D. and Mislove, Michael},
 TITLE = {Problems in domain theory and topology},
 BOOKTITLE = {Open problems in topology},
 PAGES = {349--372},
 PUBLISHER = {North-Holland},
 ADDRESS = {Amsterdam},
 YEAR = {1990},
 MRCLASS = {54H25 (06B35 54C35 54F05 68Q55)},
 MRNUMBER = {1 078 658},
}
@book {Vi,
 AUTHOR = {Vickers, Steven},
 TITLE = {Topology via logic},
 PUBLISHER = {Cambridge University Press},
 ADDRESS = {Cambridge},
 YEAR = {1989},
 PAGES = {xvi+200},
 ISBN = {0-521-36062-5},
 MRCLASS = {03G10 (06B35 18B99 54B99 68Q55)},
 MRNUMBER = {90j:03110},
 MRREVIEWER = {Edmund Robinson},
}