# Sh:700a

• Shelah, S. Are \mathfrak a and \mathfrak d your cup of tea? Revised. Preprint.
Revised version of [Sh:700]
• Abstract:
This was non-essentially revised in late 2020. 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 §2,§3 which say that (in §3 with no large cardinals) we can force {\aleph_1} < \mathfrak{b} = \mathfrak{d} < \mathfrak{a}. We like to have {\aleph_1} < \mathfrak{s} \le \mathfrak{b} = \mathfrak{d} < \mathfrak{a}. For this we allow in §2,§3 the sets K_t to be uncountable; this requires non-essential changes. In particular, we replace usually {\aleph_0}, {\aleph_1} by \sigma , \partial. Naturally we can deal with \mathfrak{i} and similar invariants.

Third we proofread the work again. To get \mathfrak{s} we could have retained the countability of the member of the I_t-s but the parameters would change with A \in I_t, well for a cofinal set of them; but the present seems simpler.

We intend to continue in [Sh:F2009].

• Version 2021-02-10_4 (45p)
Bib entry
@article{Sh:700a,
author = {Shelah, Saharon},
title = {{Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revised.}},
note = {Revised version of [Sh:700]},
refers_to_entry = {Revised version of [Sh:700]}
}