All Questions

In Kechris' book "Classical Descriptive Set Theory" there is the following theorem (12.16): Let $X$ be a Polish space and $E$ an equivalence relation such that every equivalence class is ...

It is a well known fact that if $\mathcal{F}$ is a non-principal ultrafilter on $\omega$, then the set $\{ \alpha \in 2^\omega : \alpha \in \mathcal{F}\}$ (conflating binary strings with subsets of $\...

According to [2]: Let $X$ be a space. We call a system $(X_s)_{s\in T}$ a Sierpinski stratification of $X$ if $T$ is a nonempty tree over a countable alphabet and $X_s$ is a closed subset of $X$ for ...

Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...

I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone. Theorem. The linear hull of any linearly independent Borel set in a Polish ...

Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...