No CrossRef data available.
Article contents
The ultrafilter number and
$\mathfrak {hm}$
Published online by Cambridge University Press: 03 November 2021
Abstract
The cardinal invariant
$\mathfrak {hm}$
is defined as the minimum size of a family of
$\mathsf {c}_{\mathsf {min}}$
-monochromatic sets that cover
$2^{\omega }$
(where
$\mathsf {c}_{\mathsf {min}}( x,y) $
is the parity of the biggest initial segment both x and y have in common). We prove that
$\mathfrak {hm}=\omega _{1}$
holds in Shelah’s model of
$\mathfrak {i<u},$
so the inequality
$\mathfrak {hm<u}$
is consistent with the axioms of
$\mathsf {ZFC}$
. This answers a question of Thilo Weinert. We prove that the diamond principle
$\mathfrak {\Diamond }_{\mathfrak {d}}$
also holds in that model.
Keywords
MSC classification
- Type
- Article
- Information
- Copyright
- © Canadian Mathematical Society 2021
Footnotes
The author was partially supported by a CONACyT grant A1-S-16164 and PAPIIT grant IN104220.
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316020440076-0045:S0008414X21000614:S0008414X21000614_inline2886.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316020440076-0045:S0008414X21000614:S0008414X21000614_inline2888.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316020440076-0045:S0008414X21000614:S0008414X21000614_inline2890.png?pub-status=live)