Effective inseparability and some applications in meta-mathematics
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913894028541952 |
|---|---|
| author | Cheng, Yong |
| author_facet | Cheng, Yong |
| contents | Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in the literature to be equivalent to effective inseparability. We give a much simpler proof of these equivalences using the strong double recursion theorem. Then we prove some results about the application of effective inseparability in meta-mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2210_17333 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Effective inseparability and some applications in meta-mathematics Cheng, Yong Logic 03F40, 03F30, 03D35 Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in the literature to be equivalent to effective inseparability. We give a much simpler proof of these equivalences using the strong double recursion theorem. Then we prove some results about the application of effective inseparability in meta-mathematics. |
| title | Effective inseparability and some applications in meta-mathematics |
| topic | Logic 03F40, 03F30, 03D35 |
| url | https://arxiv.org/abs/2210.17333 |