@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},
}