Article contents
Everywhere Nonrecursive r.e. Sets in Recursively Presented Topological Spaces
Published online by Cambridge University Press: 09 April 2009
Abstract
Recursively presented topological spaces are topological spaces with a recursive system of basic neighbourhoods. A recursively enumerable (r.e.) open set is a r.e. union of basic neighbourhoods. A set is everywhere r.e. open if its intersection with each basic neighbourhood is r.e. Similarly we define everywhere creative, everywhere simple, everywhere r.e. non-recursive sets and show that there exist sets both with and without these everywhere properties.
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 44 , Issue 1 , February 1988 , pp. 105 - 128
- Copyright
- Copyright © Australian Mathematical Society 1988
References
- 2
- Cited by