Skip to main content

All Questions

6 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
10 votes
0 answers
498 views

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

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 ...
Alexander Osipov's user avatar
9 votes
0 answers
252 views

Another determinacy-related cardinal characteristic

This question is a kind of "dual" to an earlier one of mine. Although I don't know a reference for this, it's easy to show the following result: Suppose $G$ is a game in which neither ...
Noah Schweber's user avatar
9 votes
0 answers
243 views

Is this cardinal characteristic trivial? (Number of strategies needed to guarantee at least one win)

(Previously asked at MSE.) Let the determinacy number, $\mathfrak{g}$ (for "game"), be the smallest cardinal such that for every (two-player, perfect-information, length-$\omega$) game on $\...
Noah Schweber's user avatar
4 votes
0 answers
237 views

Where can I find information about this concept of 'dual ideals'?

I have come across the following notion of (what I am calling) dual ideals, and I am looking for any work in which this notion has been considered, and particularly anything about transferring ...
Calliope Ryan-Smith's user avatar
4 votes
0 answers
293 views

How does "spreading-with-determinacy" compare with Cichon's diagram?

For $\mathbb{A},\mathbb{B}\subseteq\mathcal{P}(\omega^\omega)$, say that $\mathbb{A}$ spreads onto $\mathbb{B}$ iff there is some $F:\omega^\omega\rightarrow\omega^\omega$ such that $F[A]\in\mathbb{B}$...
Noah Schweber's user avatar
3 votes
0 answers
79 views

Is $\mathfrak q_0$ equal to the smallest cardinality of a second-countable $T_1$-space which is not a $Q$-space?

A topological space $X$ is a $Q$-space if every subset of $X$ is of type $G_\delta$. The smallest cardinality of a metrizable separable space which is not a $Q$-space is denoted by $\mathfrak q_0$ and ...
Taras Banakh's user avatar
  • 41.9k