Corrigendum to: ``On effective topological spaces'' (Q5890200)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Corrigendum to: ``On effective topological spaces |
scientific article; zbMATH DE number 1590626
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Corrigendum to: ``On effective topological spaces'' |
scientific article; zbMATH DE number 1590626 |
Statements
3 September 2001
0 references
open sets
0 references
effectively presented topological spaces
0 references
semidecidable sets
0 references
Scott domains
0 references
canonical topology of effectively given metric spaces
0 references
effective continuity
0 references
continuous functionals
0 references
0.8965363
0 references
0.89345217
0 references
0.89130557
0 references
0.89102656
0 references
0 references
0.8840121
0 references
0.88380396
0 references
0 references
0.87916857
0 references
Corrigendum to: ``On effective topological spaces'' (English)
0 references
In the author's paper ``On effective topological spaces'' [ibid. 63, No. 1, 185-221 (1998; Zbl 0915.03038)], the proof of Lemma 5.1 was not correct. The author gives a corrected proof of the lemma, which reads as follows: NEWLINENEWLINENEWLINELemma 5.1. Let \({\mathcal T}\) be effective and recursively separable and let \(x\) be acceptable. Then any Mal'tsev topology on \(T\) that is effectively pointwise coarser than \(\tau\) is also effectively coarser than \(\tau\).
0 references
