All Questions
5 questions
23
votes
3
answers
2k
views
An ultrafilter is a set of subsets containing exactly one element of each finite partition: reference request
There are probably dozens of ways of defining "ultrafilter". The definition I've seen most often involves first defining "filter", then declaring an ultrafilter to be a maximal filter.
But there's ...
17
votes
1
answer
988
views
Can two-point sets be Borel?
Recall that a two-point set is a subset of the plane which meets every line in exactly two points. Such a set was first constructed by Mazurkiewicz in 1914.
I wonder if the following question of ...
10
votes
2
answers
750
views
Is there a compact space with no countably generated dense subspace?
This is a reformulation of this MO question which recieved little or no attention due to the fact that the OP gave no motivation whatsoever. I found the question quite interesting and decided to give ...
7
votes
2
answers
722
views
Consistency of a strange (choice-wise) set of reals
Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
For all $r\in\mathbb{R}$ there exists a sequence $(x_n)_{n\in\omega} \subset X$ converging to $r$
In a ...
3
votes
1
answer
192
views
Co-analytic $Q$-sets
A subset $A\subseteq \mathbb{R}$ is said to be a $Q$-set if every subset $B\subseteq A$ is $F_\sigma$ wrt the subspace topology on $A$. For example $\mathbb{Q}$ is a $Q$-set. The first time I have ...