Are a and d your cup of tea?

Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} = \mathfrak{u} < \mathfrak{a} $ also gives $ \mathfrak{s} = \mathfrak{d} $. The proof uses a measurable cardinal and a c.c.c. forcing so it gives large $ \mathfrak{d} $ and assumes a large cardinal. Second point is adding to the results of \S2,\S3 which say that (in \S3 with no large cardinals) we can force $ {\aleph_1} < \mathfrak{b} = \mathfrak{d} < \mathfrak{a}$. We …