Please use this identifier to cite or link to this item:
https://hdl.handle.net/10356/46540
Title: | Contributions to degree structures | Authors: | Wang, Shenling | Keywords: | DRNTU::Science::Mathematics::Mathematical logic | Issue Date: | 2011 | Source: | Wang, S. L. (2011). Contributions to degree structures. Doctoral thesis, Nanyang Technological University, Singapore. | Abstract: | The investigation of computably enumerable degrees has led to the deep understanding of degree structures and the development of various construction techniques. This thesis is mainly concerned with the cupping and capping properties of computably enumerable degrees. In Chapter 1, we give an introduction to the fundamentals of computability theory, and notations used through the thesis. In Chapter 2, we study the only-high cuppable degrees, which was recently found by Greenberg, Ng and Wu, we prove that such degrees can be plus-cupping. This result refutes a claim of Li and Y. Wang, which says that every plus-cupping degree is 3-plus-cupping. In Chapter 3, we study the locally noncappable degrees, and we prove that for any nonzero incomplete c.e. degree a, there exist two incomparable c.e. degrees c, d > a witnessing that a is locally noncappable, and the supremum of c and d is high. This result implies that both classes of the plus-cuppping degrees and the nonbounding c.e. degrees do not form an ideal, which was proved by Li and Zhao by two separate constructions. Chapter 4 is devoted to the study of the infima of n-c.e. degrees. Kaddah proved that there are n-c.e. degrees a, b, c and an (n+1)-c.e. degree x such that a is the infimum of b and c in the n-c.e. degrees, but not in the (n+1)-c.e. degrees, as a < x < b, c. We will prove that such 4-tuples occur densely in the c.e. degrees. This result immediately implies that the isolated (n+1)-c.e. degrees are dense in the c.e. degrees, which was first proved by LaForte. | URI: | https://hdl.handle.net/10356/46540 | DOI: | 10.32657/10356/46540 | Schools: | School of Physical and Mathematical Sciences | Fulltext Permission: | open | Fulltext Availability: | With Fulltext |
Appears in Collections: | SPMS Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TspmsG0701754B.pdf | 434.91 kB | Adobe PDF | View/Open |
Page view(s) 20
683
Updated on Mar 28, 2024
Download(s) 20
298
Updated on Mar 28, 2024
Google ScholarTM
Check
Altmetric
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.