J Austral Math Soc Ser A 44 pp129--137, 1988.
(Received 29 March 1985; revised 30 January 1987)
Notions of effective complementation in effective topological spaces are considered, and several types of non-complemented sets are constructed. While there are parallels with recursively enumerable sets, some unexpected differences appear. Finally, a pair of splitting theorems is proved.
1980 AMS Subject Classification: 03D45, 54A05
Last Modified: Wed Feb 19 10:27:48 2003