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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/75914 |
| _version_ | 1811694925050281984 |
|---|---|
| author | Yu, Hongyuan |
| author2 | Ng Keng Meng |
| author_facet | Ng Keng Meng Yu, Hongyuan |
| author_sort | Yu, Hongyuan |
| collection | NTU |
| 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. |
| first_indexed | 2024-10-01T07:15:19Z |
| format | Thesis |
| id | ntu-10356/75914 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T07:15:19Z |
| publishDate | 2018 |
| record_format | dspace |
| spelling | ntu-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 |
| spellingShingle | DRNTU::Science::Mathematics::Mathematical logic Yu, Hongyuan On equivalence relations and bounded turing degrees |
| title | 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_short | On equivalence relations and bounded turing degrees |
| title_sort | on equivalence relations and bounded turing degrees |
| topic | DRNTU::Science::Mathematics::Mathematical logic |
| url | http://hdl.handle.net/10356/75914 |
| work_keys_str_mv | AT yuhongyuan onequivalencerelationsandboundedturingdegrees |