Wetzel families and the continuum

Jonathan Schilhan,Thilo Weinert
DOI: https://doi.org/10.1112/jlms.12918
2024-05-15
Journal of the London Mathematical Society
Abstract:Abstract 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 of entire functions on the complex plane which pointwise assumes fewer than 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 this answers the main open question asked by Kumar and Shelah [Fund. Math. 239 (2017) no. 3, 279–288]. In the buildup to this result, we are also solving an open question of Zapletal on strongly almost disjoint functions from Zapletal [Israel J. Math. 97 (1997) no. 1, 101–111]. 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 .
mathematics
What problem does this paper attempt to address?