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.
Saved in:
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/171805 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| id |
sg-ntu-dr.10356-171805 |
|---|---|
| record_format |
dspace |
| spelling |
sg-ntu-dr.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. |
| institution |
Nanyang Technological University |
| building |
NTU Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NTU Library |
| collection |
DR-NTU |
| language |
English |
| topic |
Science::Mathematics Cupping Ahmad Pair |
| spellingShingle |
Science::Mathematics Cupping Ahmad Pair Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. On cupping and Ahmad pairs |
| 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. |
| 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. |
| format |
Article |
| author |
Kalimullin, Iskander Sh. Lempp, Steffen Ng, Keng Meng Yamaleev, Mars M. |
| author_sort |
Kalimullin, Iskander Sh. |
| title |
On cupping and Ahmad pairs |
| title_short |
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_sort |
on cupping and ahmad pairs |
| publishDate |
2023 |
| url |
https://hdl.handle.net/10356/171805 |
| _version_ |
1783955613696393216 |