Please use this identifier to cite or link to this item:
Title: On cupping and Ahmad pairs
Authors: Kalimullin, Iskander Sh.
Lempp, Steffen
Ng, Keng Meng
Yamaleev, Mars M.
Keywords: Science::Mathematics
Issue Date: 2022
Source: Kalimullin, I. S., Lempp, S., Ng, K. M. & Yamaleev, M. M. (2022). On cupping and Ahmad pairs. Journal of Symbolic Logic, 1-12.
Project: RG23/19
Journal: Journal of Symbolic Logic
Abstract: 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.
ISSN: 0022-4812
DOI: 10.1017/jsl.2022.84
Schools: School of Physical and Mathematical Sciences 
Rights: © The Author(s) 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:SPMS Journal Articles

Page view(s)

Updated on Jun 13, 2024

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.