Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2204.02705 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910453238595584 |
|---|---|
| author | Monin, Benoit Patey, Ludovic |
| author_facet | Monin, Benoit Patey, Ludovic |
| contents | There exist two notions of typicality in computability theory, namely, genericity and randomness. In this article, we introduce a new notion of genericity, called partition genericity, which is at the intersection of these two notions of typicality, and show that many basis theorems apply to partition genericity. More precisely, we prove that every co-hyperimmune set and every Kurtz random is partition generic, and that every partition generic set admits weak infinite subsets. In particular, we answer a question of Kjos-Hanssen and Liu by showing that every Kurtz random admits an infinite subset which does not compute any set of positive Hausdorff dimension. Partition genericty is a partition regular notion, so these results imply many existing pigeonhole basis theorems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2204_02705 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Partition genericity and pigeonhole basis theorems Monin, Benoit Patey, Ludovic Logic There exist two notions of typicality in computability theory, namely, genericity and randomness. In this article, we introduce a new notion of genericity, called partition genericity, which is at the intersection of these two notions of typicality, and show that many basis theorems apply to partition genericity. More precisely, we prove that every co-hyperimmune set and every Kurtz random is partition generic, and that every partition generic set admits weak infinite subsets. In particular, we answer a question of Kjos-Hanssen and Liu by showing that every Kurtz random admits an infinite subset which does not compute any set of positive Hausdorff dimension. Partition genericty is a partition regular notion, so these results imply many existing pigeonhole basis theorems. |
| title | Partition genericity and pigeonhole basis theorems |
| topic | Logic |
| url | https://arxiv.org/abs/2204.02705 |