Extended Canonicity of Certain Topological Properties of Set Spaces

Bernhard Heinemann. Extended Canonicity of Certain Topological Properties of Set Spaces. In Moshe Y. Vardi, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Volume 2850 of Lecture Notes in Computer Science, pages 137-151, Springer, 2003. [doi]

Abstract

Abstract is missing.