Back to Search
Start Over
Recursive Polish spaces.
- Source :
-
Archive for Mathematical Logic . Nov2023, Vol. 62 Issue 7/8, p1101-1110. 10p. - Publication Year :
- 2023
-
Abstract
- This paper is concerned with the proper way to effectivize the notion of a Polish space. A theorem is proved that shows the recursive Polish space structure is not found in the effectively open subsets of a space X , and we explore strong evidence that the effective structure is instead captured by the effectively open subsets of the product space N × X . [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09335846
- Volume :
- 62
- Issue :
- 7/8
- Database :
- Academic Search Index
- Journal :
- Archive for Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 172019932
- Full Text :
- https://doi.org/10.1007/s00153-023-00883-5