Please use this identifier to cite or link to this item:
Title: On the C.E. degrees realizable in II⁰₁ classes
Authors: Csima, Barbara F.
Downey, Rod
Ng, Keng Meng
Keywords: Science::Mathematics
Issue Date: 2023
Source: Csima, B. F., Downey, R. & Ng, K. M. (2023). On the C.E. degrees realizable in II⁰₁ classes. Journal of Symbolic Logic, 1-26.
Project: MOE2015-T2-2-055 
Journal: Journal of Symbolic Logic
Abstract: We study for each computably bounded Π01 class P the set of degrees of c.e. paths in P. We show, amongst other results, that for every c.e. degree a there is a perfect Π01 class where all c.e. members have degree a. We also show that every Σ03 set of c.e. indices is realized in some perfect Π01 class, and classify the sets of c.e. degrees which can be realized in some Π01 class as exactly those with a computable representation.
ISSN: 0022-4812
DOI: 10.1017/jsl.2023.26
Schools: School of Physical and Mathematical Sciences 
Rights: © The Author(s) 2023. 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.