All Questions
14 questions
11
votes
2
answers
483
views
The "strong" measure number
Beyond measure zero we have yet another measure-y notion of smallness: strong measure zero. A set $S\subseteq\mathbb{R}$ is strong measure zero if, for any $f:\mathbb{N}\rightarrow\mathbb{R}_{>0}$, ...
- 21.2k
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 ...
- 1,101
9
votes
2
answers
466
views
Small uncountable cardinals related to $\sigma$-continuity
A function $f:X\to Y$ is defined to be
$\sigma$-continuous (resp. $\bar \sigma$-continuous) if there exists a countable (closed) cover $\mathcal C$ of $X$ such that the restriction $f{\restriction}C$ ...
- 41.8k
9
votes
0
answers
251
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 ...
- 21.2k
9
votes
0
answers
242
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 $\...
- 21.2k
8
votes
1
answer
351
views
"Compactness length" of Baire space
Intuitively, my question is: how many times do we have to mod out by an closed equivalence relation with all classes compact in order to collapse Baire space $\omega^\omega$ to a singleton?
In more ...
- 21.2k
6
votes
1
answer
258
views
Do escaping sets "uniformly" cover dominating sets under determinacy?
For $\mathbb{A},\mathbb{B}\subseteq\mathcal{P}(\omega^\omega)$, say $\mathbb{A}$ spreads onto $\mathbb{B}$ iff there is some $F:\omega^\omega\rightarrow\omega^\omega$ such that for all $X\in\mathbb{A}$...
- 21.2k
5
votes
1
answer
370
views
Is it true that $\mathit{MA}(\omega_1)$ iff $\omega_1<\mathfrak{p}$?
Recall that
$\mathfrak{p}=\min\{|F|: F$ is a subfamily of $[\omega]^{\omega}$ with the sfip which has no infinite pseudo-intersection $\}$.
The cardinal $\mathfrak{q}_0$ defined as the smallest ...
- 1,101
5
votes
1
answer
528
views
Base zero-dimensional spaces
Definition. A zero-dimensional topological space $X$ is called base zero-dimensional if for any base $\mathcal B$ of the topology that consists of closed-and-open sets in $X$, any open cover $\mathcal ...
- 41.8k
4
votes
1
answer
221
views
Comparing bornologies for cardinal characteristics via Borel maps
This question is "take 2" of this older one, following a suggestion of Francois Dorais. Consider the following bornologies $\mathbb{D},\mathbb{E}$ on the set $\mathcal{N}$ of all functions ...
- 21.2k
4
votes
1
answer
151
views
Comparing bornologies for domination/escaping
Consider the following bornologies $\mathbb{D},\mathbb{E}$ on the set $\mathcal{N}$ of all functions from $\mathbb{N}$ to $\mathbb{N}$:
$\mathbb{D}=\{A: \exists f\in\mathcal{N}\forall g\in A\exists m\...
- 21.2k
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 ...
- 2,206
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}$...
- 21.2k
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 ...
- 41.8k