9
$\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 \}$ ?
$\endgroup$
  • $\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 May 26 '18 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 May 26 '18 at 18:53
  • $\begingroup$ @Alexander Could you put it in the body text? $\endgroup$ – Harry Gindi May 26 '18 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 May 26 '18 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 May 27 '18 at 0:43

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.