On cupping and Ahmad pairs
Working toward showing the decidability of the ∀∃-theory of the Σ0 2-enumeration degrees, we prove that no so-called Ahmad pair of Σ0 2-enumeration degrees can join to 0′e.
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/171805 |
| _version_ | 1811697252142415872 |
|---|---|
| author | Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. |
| author2 | School of Physical and Mathematical Sciences |
| author_facet | School of Physical and Mathematical Sciences Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. |
| author_sort | Kalimullin, Iskander Sh. |
| collection | NTU |
| description | Working toward showing the decidability of the ∀∃-theory of the Σ0 2-enumeration degrees, we prove that no so-called Ahmad pair of Σ0 2-enumeration degrees can join to 0′e. |
| first_indexed | 2024-10-01T07:52:18Z |
| format | Journal Article |
| id | ntu-10356/171805 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T07:52:18Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | ntu-10356/1718052023-11-08T04:33:04Z On cupping and Ahmad pairs Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. School of Physical and Mathematical Sciences Science::Mathematics Cupping Ahmad Pair Working toward showing the decidability of the ∀∃-theory of the Σ0 2-enumeration degrees, we prove that no so-called Ahmad pair of Σ0 2-enumeration degrees can join to 0′e. Ministry of Education (MOE) The first author’s research was partially supported by development program of Volga Region Mathematical Center (agreement no. 075-02-2022- 882). The second author’s research was partially supported by NSF Binational grant DMS-DMS-1101123 entitled “Collaboration in Computability” and AMSSimons Foundation Collaboration Grant 209087. The third author’s research was partially supported by the Ministry of Education, Singapore, under its Academic Research Fund Tier 1 (RG23/19). The fourth author’s research was partially supported by the Russian Science Foundation (project no. 22-21-20024; https://rscf.ru/project/22-21-20024/). 2023-11-08T04:33:04Z 2023-11-08T04:33:04Z 2022 Journal Article Kalimullin, I. S., Lempp, S., Ng, K. M. & Yamaleev, M. M. (2022). On cupping and Ahmad pairs. Journal of Symbolic Logic, 1-12. https://dx.doi.org/10.1017/jsl.2022.84 0022-4812 https://hdl.handle.net/10356/171805 10.1017/jsl.2022.84 2-s2.0-85144374704 1 12 en RG23/19 Journal of Symbolic Logic © The Author(s) 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. All rights reserved. |
| spellingShingle | Science::Mathematics Cupping Ahmad Pair Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. On cupping and Ahmad pairs |
| title | On cupping and Ahmad pairs |
| title_full | On cupping and Ahmad pairs |
| title_fullStr | On cupping and Ahmad pairs |
| title_full_unstemmed | On cupping and Ahmad pairs |
| title_short | On cupping and Ahmad pairs |
| title_sort | on cupping and ahmad pairs |
| topic | Science::Mathematics Cupping Ahmad Pair |
| url | https://hdl.handle.net/10356/171805 |
| work_keys_str_mv | AT kalimulliniskandersh oncuppingandahmadpairs AT lemppsteffen oncuppingandahmadpairs AT ngkengmeng oncuppingandahmadpairs AT yamaleevmarsm oncuppingandahmadpairs |