10
$\begingroup$

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?

Here $\mathfrak p$, $\mathfrak b$, $\mathfrak q$ are small uncountable cardinals:

  • $\mathfrak p$ is the smallest cardinality of any family $\mathcal F \subseteq [\omega]^\omega$, which has the strong finite intersection property, but does not have a pseudo intersection;
  • $\mathfrak b$ is the bounding number;

  • $\mathfrak q = \min\{\kappa :\text{ no subset }X \subseteq \mathbb R\text{ of cardinality }|X| \ge κ\text{ is a Q-set}\}$.

    • $\min\{\mathfrak b, \mathfrak q \}\in \{\mathfrak p,\mathfrak q \}$ ?
Improve this question
$\endgroup$
6
  • $\begingroup$ Probably you should clarify a bit what you mean by p, b and q. Although a reasonable guess would be that you mean small uncountable cardinals. I.e., $\mathfrak p$ is the smallest cardinality of system which has s.f.i.p. but now infinite pseudointersection. (Do some people call this power number?) And $\mathfrak b$ is bounding number. I am not sure about $\mathfrak q$. $\endgroup$
    – Martin Sleziak
    Commented May 26, 2018 at 18:42
  • $\begingroup$ p is the smallest cardinality of system which has s.f.i.p. but now infinite pseudointersection. b is bounding number. q = min{κ : no subset X ⊂ R of cardinality |X| ≥ κ is a Q-set}. $\endgroup$
    – Alexander Osipov
    Commented May 26, 2018 at 18:53
  • $\begingroup$ @Alexander Could you put it in the body text? $\endgroup$
    – Harry Gindi
    Commented May 26, 2018 at 19:01
  • $\begingroup$ @AlexanderOsipov I have added at least this basic information into the text. If you have something more that could be useful for readers of your question, please do edit it further. $\endgroup$
    – Martin Sleziak
    Commented May 26, 2018 at 19:03
  • $\begingroup$ I have seen $\mathfrak{q}$ be defined as the minimal size of a set of reals which is not a Q-set. Is this definition equivalent to the one given in the question? $\endgroup$
    – Ramiro de la Vega
    Commented May 27, 2018 at 0:43

0

Reset to default

You must log in to answer this question.