(Edit: I'm splitting the question, leaving here only what is answered by Ashutosh, and moving the rest to another question.)
This question assumes familiarity with combinatorial cardinal characteristics of the continnum. It is a refined version of an earlier question.
Let $[\mathbb{N}]^\infty$ be the family of infinite subsets of $\mathbb{N}$, partially ordered by $\subseteq^*$, where $a\subseteq^* b$ means $a\setminus b$ is finite.
Let $\kappa$ be a cardinal number. A tower of height $\kappa$ is a $\kappa$-sequence $\langle\, s_\alpha : \alpha<\kappa\,\rangle$ in $[\mathbb{N}]^\infty$ that is $\subset^*$-decreasing as the ordinal number $\alpha$ increases.
An element $a\in [\mathbb{N}]^\infty$ is identified with its increasing enumeration. This way, the set $[\mathbb{N}]^\infty$ becomes the family of increasing functions in $\mathbb{N}^\mathbb{N}$, and the standard relation $\le^*$ is defined on $[\mathbb{N}]^\infty$. A set $X\subseteq [\mathbb{N}]^\infty$ is bounded if it is bounded (from above) with respect to $\le^*$.
The general goal is to understand when is there an unbounded tower. Let us call this axiom BT (and ignore the coincidence).
It is known or easy to see that:
- If there is an unbounded tower of any cardinality, then BT holds. (The present proof is dichotomic.)
- If $\mathfrak{t}=\mathfrak{b}$ or $\mathfrak{b}<\mathfrak{d}$, then BT holds.
Question. Is BT consistent with "$\aleph_1=\mathfrak{t}<\mathfrak{b}=\mathfrak{c}=\aleph_2$"?
Will Brian's answer for my previous question implies that BT fails in the Hechler model. BT also fails in the Laver model, indirectly by the main result of the linked paper.