Newbetuts

The collection of all compact perfect subsets is $G_\delta$ in the hyperspace of all compact subsets

Proof that the Cardinality of Borel Sets on $\mathbb R$ is $c$ without using the ordinals .

Cardinality of the borel measurable functions?

Extending a homeomorphism of a subset of a space to a $G_\delta$ set

Show that $\bf AD_2 \Leftrightarrow \bf AD_{\omega} \nRightarrow\bf AD_{\mathbb{R}}$

Measurability of the pushforward operator on measures

A set which is neither meagre nor comeagre in any interval.

Products of Product Spaces

Continuous images of open sets are Borel?

Axiom of Choice and Determinacy

Is $[0,1]$ the union of $2^{\aleph_0}$ perfect sets which are pairwise disjoint?

Well-orderings and the perfect set property

Finitely additive measure over $\mathbb{N}$, under AD.

Given the hierarchy of Borel sets, how to prove that ${\bf \Sigma}_\alpha^0 \subsetneq {\bf \Sigma}_{\alpha+1}^0$ for all ordinal $\alpha<\omega_1$

Is the sum (difference) of Borel set with itself a Borel set?

New posts in descriptive-set-theory

Polish space in which the interior of each compact set is empty

Countably generated sigma-algebras

Can a basis for $\mathbb{R}$ be Borel?

Is there a probability measure on $[0,1]$ with no subsets with measure $\frac{1}{2}$?

Subsets of the reals when the Continuum Hypothesis is assumed false

The collection of all compact perfect subsets is $G_\delta$ in the hyperspace of all compact subsets

Proof that the Cardinality of Borel Sets on $\mathbb R$ is $c$ without using the ordinals .

Cardinality of the borel measurable functions?

Extending a homeomorphism of a subset of a space to a $G_\delta$ set

Show that $\bf AD_2 \Leftrightarrow \bf AD_{\omega} \nRightarrow\bf AD_{\mathbb{R}}$

Measurability of the pushforward operator on measures

A set which is neither meagre nor comeagre in any interval.

Products of Product Spaces

Continuous images of open sets are Borel?

Axiom of Choice and Determinacy

Is $[0,1]$ the union of $2^{\aleph_0}$ perfect sets which are pairwise disjoint?

Well-orderings and the perfect set property

Finitely additive measure over $\mathbb{N}$, under AD.

Given the hierarchy of Borel sets, how to prove that ${\bf \Sigma}_\alpha^0 \subsetneq {\bf \Sigma}_{\alpha+1}^0$ for all ordinal $\alpha<\omega_1$

Is the sum (difference) of Borel set with itself a Borel set?