Loading...
Please wait, while we are loading the content...
Similar Documents
On Homeomorphisms of Effective Topological Spaces
| Content Provider | Semantic Scholar |
|---|---|
| Author | Morozov, Andrey S. |
| Copyright Year | 2004 |
| Abstract | We study effective presentations and homeomorphisms of effective topological spaces. By constructing a functor from the category of computable models into the category of effective topological spaces, we show in particular that there exist homeomorphic effective topological spaces admitting no hyperarithmetical homeomorphism between them and there exist effective topological spaces whose autohomeomorphism group has the cardinality of the continuum but whose only hyperarithmetical autohomeomorphism is trivial. It is also shown that if the group of autohomeomorphisms of a hyperarithmetical topological space has cardinality less than 2ω then this group is hyperarithmetical. We introduce the notion of strong computable homeomorphism and solve the problem of the number of effective presentations of T0-spaces with effective bases of clopen sets with respect to strong homeomorphisms. |
| Starting Page | 956 |
| Ending Page | 968 |
| Page Count | 13 |
| File Format | PDF HTM / HTML |
| DOI | 10.1023/B:SIMJ.0000042483.60710.65 |
| Volume Number | 45 |
| Alternate Webpage(s) | https://page-one.springer.com/pdf/preview/10.1023/B:SIMJ.0000042483.60710.65 |
| Alternate Webpage(s) | https://doi.org/10.1023/B%3ASIMJ.0000042483.60710.65 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
