Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Tom Leinster's user avatar
  • 27.7k
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 ...
Mohammad Golshani's user avatar
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 ...
Ramiro de la Vega's user avatar
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 ...
Lorenzo's user avatar
  • 2,286
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 ...
Lorenzo's user avatar
  • 2,286