Hostname: page-component-848d4c4894-2xdlg Total loading time: 0 Render date: 2024-07-03T00:09:51.328Z Has data issue: false hasContentIssue false

Non-Complemented Open Sets in Effective Topology

Published online by Cambridge University Press:  09 April 2009

Philip Hingston
Affiliation:
Department of Mathematics Monash University Clayton, Victoria 3168, Australia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1988

References

[1]Hingston, P. F., Effectiveness in rings and topology, (Ph.D. Thesis, Monash University, 11 1983).Google Scholar
[2]Kalantari, I., Major subsets in effective topology. Patras Logic Symposion (Patras, 1980), pp. 7794 (Stud. Logic Foundations Math., 109, North-Holland, 1982).Google Scholar
[3]Kalantari, I. and Leggett, A.. ‘Simplicity in effective topology,’ J. Symbolic Logic 47 (1982), 169183.CrossRefGoogle Scholar
[4]Kalantari, I. and Leggett, A., ‘Maximality in effective topology,’ J. Symbolic Logic 48 (1983), 100112.CrossRefGoogle Scholar
[5]Kalantari, I. and Remmel, J. B.. Degrees of recursively enumerable topological spaces. J. Symbolic Logic 48 (1983), 610622.CrossRefGoogle Scholar
[6]Kalantari, I. and Retzlaff, A.. ‘Recursive constructions in topological spaces’, J. Symbolic Logic 44 (1979), 609625.CrossRefGoogle Scholar
[7]Shi, N., Unpublished abstract.Google Scholar