Skip to main content
removed label "lo.logic"
Link
Source Link

Bounding and dominating numbers ${\frak b}, {\frak d}$ via ultrafilters

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$ and suppose that ${\cal U}$ is a free ultrafilter on $\omega$. We write $f \leq_{\cal U} g$ if $$\{n\in\omega: f(n) \leq g(n)\}\in{\cal U}.$$

Similar to the usual bounding and dominating numbers, we define $${\frak b}_{\cal U} = \min\{|B|: B\subseteq \omega^\omega \land \forall f\in\omega^\omega \exists g\in B(g\not \leq_{\cal U} f)\},$$ and $${\frak d}_{\cal U} = \min\{|D|: D\subseteq \omega^\omega \land \forall f\in\omega^\omega \exists g\in D(f \leq_{\cal U} g)\}.$$

Do we have ${\frak b} = {\frak b}_{\cal U}$ and ${\frak d} = {\frak d}_{\cal U}$?