Wetzel families and the continuum
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910443700748288 |
|---|---|
| author | Schilhan, Jonathan Weinert, Thilo |
| author_facet | Schilhan, Jonathan Weinert, Thilo |
| contents | We provide answers to a question brought up by Erdős about the construction of Wetzel families in the absence of the continuum hypothesis - a Wetzel family is a family $\mathcal{F}$ of entire functions on the complex plane which pointwise assumes fewer than $\vert \mathcal{F} \vert$ values. To be more precise, we show that the existence of a Wetzel family is consistent with all possible values $κ$ of the continuum and, if $κ$ is regular, also with Martin's Axiom. In the particular case of $κ= \aleph_2$ this answers an open question asked by Kumar and Shelah. In the buildup to this result, we are also solving an open question of Zapletal on strongly almost disjoint functions. We also study a strongly related notion of sets exhibiting a universality property via mappings by entire functions and show that these consistently exist while the continuum equals $\aleph_2$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_19473 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Wetzel families and the continuum Schilhan, Jonathan Weinert, Thilo Logic Complex Variables 03E35, 03E50, 03E05, 30D20, 30E05 We provide answers to a question brought up by Erdős about the construction of Wetzel families in the absence of the continuum hypothesis - a Wetzel family is a family $\mathcal{F}$ of entire functions on the complex plane which pointwise assumes fewer than $\vert \mathcal{F} \vert$ values. To be more precise, we show that the existence of a Wetzel family is consistent with all possible values $κ$ of the continuum and, if $κ$ is regular, also with Martin's Axiom. In the particular case of $κ= \aleph_2$ this answers an open question asked by Kumar and Shelah. In the buildup to this result, we are also solving an open question of Zapletal on strongly almost disjoint functions. We also study a strongly related notion of sets exhibiting a universality property via mappings by entire functions and show that these consistently exist while the continuum equals $\aleph_2$. |
| title | Wetzel families and the continuum |
| topic | Logic Complex Variables 03E35, 03E50, 03E05, 30D20, 30E05 |
| url | https://arxiv.org/abs/2310.19473 |