On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915633909727232 |
|---|---|
| author | Song, Sirun Yu, Liang |
| author_facet | Song, Sirun Yu, Liang |
| contents | This paper investigates the Hausdorff dimension properties of chains and antichains in Turing degrees and hyperarithmetic degrees. Our main contributions are threefold: First, for antichains in hyperarithmetic degrees, we prove that every maximal antichain necessarily attains Hausdorff dimension 1. Second, regarding chains in Turing degrees, we establish the existence of a maximal chain with Hausdorff dimension 0. Furthermore, under the assumption that $ω_1=(ω_1)^L$, we demonstrate the existence of such maximal chains with $Π^1_1$ complexity. Third, we extend our investigation to maximal antichains of Turing degrees by analyzing both the packing dimension and effective Hausdorff dimension. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_04957 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees Song, Sirun Yu, Liang Logic 03D28, 03D30, 03D32 This paper investigates the Hausdorff dimension properties of chains and antichains in Turing degrees and hyperarithmetic degrees. Our main contributions are threefold: First, for antichains in hyperarithmetic degrees, we prove that every maximal antichain necessarily attains Hausdorff dimension 1. Second, regarding chains in Turing degrees, we establish the existence of a maximal chain with Hausdorff dimension 0. Furthermore, under the assumption that $ω_1=(ω_1)^L$, we demonstrate the existence of such maximal chains with $Π^1_1$ complexity. Third, we extend our investigation to maximal antichains of Turing degrees by analyzing both the packing dimension and effective Hausdorff dimension. |
| title | On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees |
| topic | Logic 03D28, 03D30, 03D32 |
| url | https://arxiv.org/abs/2504.04957 |