Pour-El's Landscape
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916267028381696 |
|---|---|
| author | Kurahashi, Taishi Visser, Albert |
| author_facet | Kurahashi, Taishi Visser, Albert |
| contents | We study the effective versions of several notions related to incompleteness, undecidability and inseparability along the lines of Pour-El's insights. Firstly, we strengthen Pour-El's theorem on the equivalence between effective essential incompleteness and effective inseparability. Secondly, we compare the notions obtained by restricting that of effective essential incompleteness to intensional finite extensions and extensional finite extensions. Finally, we study the combination of effectiveness and hereditariness, and prove an adapted version of Pour-El's result for this combination. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_04814 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Pour-El's Landscape Kurahashi, Taishi Visser, Albert Logic 03F25, 03F30, 03F40 We study the effective versions of several notions related to incompleteness, undecidability and inseparability along the lines of Pour-El's insights. Firstly, we strengthen Pour-El's theorem on the equivalence between effective essential incompleteness and effective inseparability. Secondly, we compare the notions obtained by restricting that of effective essential incompleteness to intensional finite extensions and extensional finite extensions. Finally, we study the combination of effectiveness and hereditariness, and prove an adapted version of Pour-El's result for this combination. |
| title | Pour-El's Landscape |
| topic | Logic 03F25, 03F30, 03F40 |
| url | https://arxiv.org/abs/2310.04814 |