On equivalence relations and bounded turing degrees
This thesis examines three areas in computability theory. In Chapter 2 we look at certain classes of equivalence relations under computable reducibility. In Chapters 3 and 4 we examine the bounded jump operator and the notion of highness for the bounded jump. In Chapter 5 we look at differen...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | English |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/75914 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| id |
sg-ntu-dr.10356-75914 |
|---|---|
| record_format |
dspace |
| spelling |
sg-ntu-dr.10356-759142023-02-28T23:53:24Z On equivalence relations and bounded turing degrees Yu, Hongyuan Ng Keng Meng School of Physical and Mathematical Sciences DRNTU::Science::Mathematics::Mathematical logic This thesis examines three areas in computability theory. In Chapter 2 we look at certain classes of equivalence relations under computable reducibility. In Chapters 3 and 4 we examine the bounded jump operator and the notion of highness for the bounded jump. In Chapter 5 we look at different ways of effectivizing the properties of a dominant function. Doctor of Philosophy (SPMS) 2018-07-31T01:07:34Z 2018-07-31T01:07:34Z 2018 Thesis Yu, H. (2018). On equivalence relations and bounded turing degrees. Doctoral thesis, Nanyang Technological University, Singapore. http://hdl.handle.net/10356/75914 10.32657/10356/75914 en 103 p. application/pdf |
| institution |
Nanyang Technological University |
| building |
NTU Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NTU Library |
| collection |
DR-NTU |
| language |
English |
| topic |
DRNTU::Science::Mathematics::Mathematical logic |
| spellingShingle |
DRNTU::Science::Mathematics::Mathematical logic Yu, Hongyuan On equivalence relations and bounded turing degrees |
| description |
This thesis examines three areas in computability theory.
In Chapter 2 we look at certain classes of equivalence relations under computable reducibility.
In Chapters 3 and 4 we examine the bounded jump operator and the notion of highness for
the bounded jump.
In Chapter 5 we look at different ways of effectivizing the properties of a dominant function. |
| author2 |
Ng Keng Meng |
| author_facet |
Ng Keng Meng Yu, Hongyuan |
| format |
Theses and Dissertations |
| author |
Yu, Hongyuan |
| author_sort |
Yu, Hongyuan |
| title |
On equivalence relations and bounded turing degrees |
| title_short |
On equivalence relations and bounded turing degrees |
| title_full |
On equivalence relations and bounded turing degrees |
| title_fullStr |
On equivalence relations and bounded turing degrees |
| title_full_unstemmed |
On equivalence relations and bounded turing degrees |
| title_sort |
on equivalence relations and bounded turing degrees |
| publishDate |
2018 |
| url |
http://hdl.handle.net/10356/75914 |
| _version_ |
1759857049883115520 |