A generalization of Markov's approach to the continuity problem for Type 1 computable functions
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910738293981184 |
|---|---|
| author | Rauzy, Emmanuel |
| author_facet | Rauzy, Emmanuel |
| contents | We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable functions are (effectively) continuous". We introduce different notions of effective closure. These notions of effective closure lead to different notions of effective discontinuity at a point. We give conditions that prevent computable functions from having effective discontinuities. We finally show that results that forbid effective discontinuities can be turned into (abstract) continuity results on spaces where the closure and effective closure of semi-decidable sets naturally coincide. This happens for instance on spaces which admit a dense and computable sequence. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_15857 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A generalization of Markov's approach to the continuity problem for Type 1 computable functions Rauzy, Emmanuel Logic 03D45, 03D78 We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable functions are (effectively) continuous". We introduce different notions of effective closure. These notions of effective closure lead to different notions of effective discontinuity at a point. We give conditions that prevent computable functions from having effective discontinuities. We finally show that results that forbid effective discontinuities can be turned into (abstract) continuity results on spaces where the closure and effective closure of semi-decidable sets naturally coincide. This happens for instance on spaces which admit a dense and computable sequence. |
| title | A generalization of Markov's approach to the continuity problem for Type 1 computable functions |
| topic | Logic 03D45, 03D78 |
| url | https://arxiv.org/abs/2311.15857 |