Rice's Theorem in Effectively Enumerable Topological Spaces.

Margarita V. Korovina, Oleg V. Kudinov

Browse the full CiE paper archive.