The descriptive-set-theory tag has no wiki summary.

**41**

votes

**2**answers

3k views

### Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...

**26**

votes

**0**answers

811 views

### Concerning the various proofs from the axiom of choice that R^3 admits of surprising geometrical decompositions into circles, skew lines and so on: can we prove in any instance that there are no Borel such decompositions? Or that AC is required?

This question follows up on a comment I made on Joseph O'Rourke's
recent question, one of several questions here on mathoverflow
concerning surprising geometric partitions of space using the axiom
of ...

**23**

votes

**4**answers

6k views

### Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...

**20**

votes

**0**answers

775 views

### Godel on recursion-theoretic hierarchies

At the end of his excellent article, "The Emergence of Descriptive Set Theory" (http://math.bu.edu/people/aki/2.pdf), Kanamori writes:
"Another mathematical eternal return: Toward the end of his ...

**19**

votes

**0**answers

848 views

### Do all possible trees arise as orbit trees of some permutation groups?

I.Motivation from descriptive set theory
(Contains some quotes from Maciej Malicki's paper.)
The classical theorem of Birkhoff-Kakutani implies that every metrizable topological group G admits a ...

**16**

votes

**2**answers

558 views

### Image of L^1 under the Fourier Transform

The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...

**15**

votes

**4**answers

565 views

### Continuously selecting elements from unordered pairs

The symmetric square of a topological space $X$ is obtained from the usual square $X^2$ by identifying pairs of symmetric points $(x_1,x_2)$ and $(x_2,x_1)$. Thus, elements of the symmetric square can ...

**15**

votes

**1**answer

441 views

### Question about product topology

Suppose $S\subset\mathbb{R}$ is dense without interior point, and for every open interval $I,J\subset\mathbb{R}$, $I\cap S$ is homeomorphic to $J\cap S$.
Is $S\times S$ homeomorphic to $S$?
By Luzin ...

**14**

votes

**3**answers

1k views

### Parts of Set Theory immune to independence

The motivation for asking this question is a passage (3.2) in an article by Greg Hjorth where he said that "...it is also an attractive feature of the theory of Borel cardinalities and of the theory ...

**14**

votes

**2**answers

955 views

### Why does inner model theory needs so much descriptive set theory (and vice versa)?

I am curious about how much descriptive set theory is involved in inner model theory.
For instance Shoenfield's absoluteness result is based on the construction of the Shoenfield tree which ...

**14**

votes

**2**answers

403 views

### Pathological behavior of Borel sets?

Usually in set theory, Borel sets are much more nicely behaved than arbitrary sets of reals. One reason for this is Borel determinacy, which immediately yields measurability, Baireness, and the ...

**14**

votes

**1**answer

409 views

### Meager subspaces of a Banach space and weak-* convergence

I previously asked a version of this question on Math.SE, but didn't receive an answer. (But there is a bounty there if you want to claim it!)
Let $X$ be a Banach space. (If it helps, feel free to ...

**14**

votes

**1**answer

734 views

### Decomposing $\mathbf{\Pi}^1_1$ sets into closed sets

It is well known that every $\mathbf{\Pi}^1_1$-set is a union of $\aleph_1$-many Borel sets. I wonder whether it can be improved under certain reasonable set theory axioms assumption.
For example, ...

**12**

votes

**3**answers

931 views

### Partitioning $\mathbb{R}$ into $\aleph_1$ Borel sets

I just ran into this deceptively simple looking question.
Is it always possible to partition $\mathbb{R}$ (or any other standard Borel space) into precisely $\aleph_1$ Borel sets?
On the one ...

**12**

votes

**4**answers

457 views

### Continuity on a measure one set versus measure one set of points of continuity

In short: If $f$ is continuous on a measure one set, is there a function $g=f$ a.e. such that a.e. point is a point of continuity of $g$?
Now more carefully, with some notation: Suppose $(X, d_X)$ ...

**12**

votes

**1**answer

450 views

### 2-colorings of the reals

It's easy to prove that, if $\mathbb{R}$ is well-orderable, then there is a 2-coloring of pairs of reals with no uncountable homogeneous set, i.e., there is an $m: [\mathbb{R}]^2\rightarrow 2$ such ...

**12**

votes

**1**answer

455 views

### The Practical Impact of Set-Theoretic Axioms on Measure Theory

The set-theoretic evidence is that we could probably safely add axioms to make many more sets measurable. For example, we could add axioms that would make projective sets measurable.
I'm curious ...

**10**

votes

**3**answers

833 views

### Universal sets in metric spaces

(I am cross-posting this from math.SE as it seems to be slightly over the top for that site.)
I saw in the class the theorem:
Suppose $X$ is a separable metric space, and $Y$ is a polish space ...

**10**

votes

**1**answer

218 views

### Consistency strength of projective determinacy (PD)

Let PD stand for projective determinacy, and consider the two claims:
(1) For each n=1,2,..., Con(ZFC+PD) implies Con(ZFC + there are n Woodin cardinals)
(2) Con(ZFC+PD) implies Con(ZFC + there are ...

**10**

votes

**3**answers

871 views

### Games that never begin

Games that never end play a major role in descriptive set theory. See for example Kechris' GTM.
Question: Does there exist a literature concerning games that never begin?
I have in mind two ...

**10**

votes

**1**answer

413 views

### How badly does compactness fail in $\mathcal{L}_{\omega_1\omega}$?

I would like to get a better idea of how badly compactness fails in $\mathcal{L}_{\omega_1\omega}$.
Let $\Gamma$ be an arbitrary set of sentences from $\mathcal{L}_{\omega_1\omega}$. Let the ...

**10**

votes

**1**answer

380 views

### Restrictions of null/meager ideal

Let I denote the null (resp. meager) ideal on reals. Is it consistent that for any pair of non null (resp. meager) sets A and B, there is a null (resp. meager) preserving bijection between A and B? In ...

**10**

votes

**1**answer

213 views

### Which forcings preserve (some) determinacy?

The question is exactly as in the title. I'm interested in general in all questions of the form "which forcings preserve property P?" for any P, but determinacy assumptions occupy a special place in ...

**10**

votes

**1**answer

345 views

### Consistency strengths related to the perfect set property

I want a model of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ in which every set of reals in $L(\mathbb{R})$ has the perfect set property. In terms of consistency strength, it is known ...

**10**

votes

**1**answer

152 views

### n odd: $\bf\Delta^1_n$ wadge degrees are $< \bf\delta^1_{n+1}$

My adviser is out of town and there is a comment in the Van Wesep paper "wadge degrees and descriptive set theory" that I can't figure out.
Work in ZF+AD throughout.
As stated in the title, the ...

**10**

votes

**0**answers

195 views

### Absoluteness of “$\kappa$-homogeneously Suslin” for sets of reals

What is known about the absoluteness, or lack thereof, of the notion of "$\kappa$-homogeneously Suslin" for sets of reals?
For example, if $A$ is $\kappa$-homogeneously Suslin and $\lambda > ...

**9**

votes

**1**answer

579 views

### Generalizations of the Tietze extension theorem (and Lusin's theorem)

I am reasking a year-old math.stackexchange.com question asked by someone else.
(For my needs every space $X$ and $Y$ will be Polish---that is a completely separably metrizable space.)
The Tietze ...

**9**

votes

**1**answer

272 views

### Concerning Silver's result

Jack Silver proved that if $x$ is a real so that every $x$-admissible ordinal is a cardinal in $L$, then $0^{\sharp}$ exists.
I wonder whether various weaker or stronger versions of Silver's result ...

**9**

votes

**1**answer

256 views

### Universal $(\Sigma^2_1)^{\text{Hom}_{\mathord{<}\lambda}}$ set

Does anyone know of a reference for the fact that if $\lambda$ is a limit of Woodin cardinals, then the pointclass $(\Sigma^2_1)^{\text{Hom}_{\mathord{<}\lambda}}$ is $\omega$-parameterized? By ...

**9**

votes

**1**answer

176 views

### Ensuring nonempty lightface Borel sets have elements via theories of second-order arithmetic

This question is an outgrowth of this MathSE question: http://math.stackexchange.com/questions/276068/members-of-lightface-borel-sets.
A Borel set $X\subseteq 2^\omega$ is a member of the smallest ...

**9**

votes

**1**answer

431 views

### Constructing an injective reduction of equivalence relations

[Metastuff: I asked this question in a slightly different way on mathSE last week, and it didn't go anywhere, which is why I am asking here. I added the DST tag because it's basically a problem about ...

**9**

votes

**1**answer

465 views

### Images of Borel subsets of non-metric compact spaces

The following question was noted by Jan Pachl in connection with the
study of Arens products and he has not received a satisfactory
answer from the various experts he has asked. Let $X$ and $Y$ be
...

**9**

votes

**1**answer

173 views

### Obtaining a lightface pointclass from a boldface one

Define a pointclass to be:
boldface inductive-like if it is $\mathbb{R}$-parameterized, has the scale property, and is closed under $\wedge$, $\vee$, $\forall^\mathbb{R}$, $\exists^\mathbb{R}$, and ...

**9**

votes

**1**answer

400 views

### A question on infinite dimensional Gaussian measure and affine tranformations.

Let $\gamma_\infty$ denote the product Gaussian measure on $\mathbb{R}^\mathbb{N}$. Which $a,b \geq 0$ satisfy that for every Borel set $K\subseteq \mathbb{R}^\mathbb{N}$ of positive measure, $a K + ...

**9**

votes

**0**answers

191 views

### Are there trees for $(\Sigma^2_1)^{\text{uB}}$?

If there is a proper class of Woodin cardinals, then Woodin showed (using stationary towers) that $(\Sigma^2_1)^{\text{uB}}$ statements are generically absolute, where $\text{uB}$ denotes the ...

**8**

votes

**2**answers

837 views

### Wanted: chain of nowhere dense subsets of the real line whose union is nonmeagre, or even contains intervals

Let $X$ be a topological space. When I call a set nowhere dense, meagre or similar without qualification, I mean that it has this property as a subset of $X$. Call a subset of $X$ weager (for weakly ...

**8**

votes

**1**answer

222 views

### Can $\mathbb{R}$ be partitioned into dedekind-finite sets?

Assuming $ZF$ itself is consistent, it is consistent that there are sets $D$ which are infinite but cannot be placed in bijection with any of their proper subsets; such sets are called "strictly ...

**8**

votes

**2**answers

604 views

### Good source for Effective Descriptive Set Theory

I just finished a first course in Descriptive Set Theory using Kechris' "Classical Descriptive Set Theory" and was hoping to find a good source for learning some of the Effective DST. Kechris doesn't ...

**8**

votes

**2**answers

434 views

### Exact consistency-strength of “all projective sets are Ramsey”

I wonder if the exact consistency strength of
"All projective sets have the Ramsey property"
is still open.
In Solovay's model, all sets have the Ramsey property, so the consistency strength of this ...

**8**

votes

**1**answer

627 views

### Vitali Sets vs Bernstein Sets…

AC is enough to guarantee the existence of both Bernstein Sets and Vitali Sets...
However is the existence of Vitali Sets strictly weaker than that of Bernstein Sets?
What about the other way round?
...

**8**

votes

**1**answer

510 views

### $\Delta^0_{\alpha}$ universal sets does not exist

I am taking a course in descriptive set theory, and the exam is approaching on Sunday. In the framework of proving that for an uncountable Polish space $X$ the following holds: ...

**8**

votes

**0**answers

454 views

### Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhps some other set?

Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra ${\cal A}$ on a set $X$, does there exist a topology ...

**8**

votes

**0**answers

450 views

### Existence (or non) of “definable” ultrafilters

This is a question which I suspect has an absurdly easy answer, but I'm not seeing it.
Let $\langle\cdot,\cdot\rangle:\omega^2\rightarrow\omega$ be your favorite pairing map (for me, this is the ...

**7**

votes

**6**answers

723 views

### The reals as continuous image of the irrationals

In the wikipedia article about descriptive set theory I read that $\mathbb{R}$ (with its usual topology) is a Polish space, and that every Polish space
1) can be obtained as a continuous image of ...

**7**

votes

**2**answers

760 views

### Definable Wellordering of the Reals

Why are we interested in definable wellordering of the reals? For instance, we have
Con(ZFC) $\Rightarrow$ Con(ZFC + there is a $\Delta^1_2$-wellordering of $\mathbb{R}$),
Con(ZFC + there is a ...

**7**

votes

**2**answers

487 views

### Perfect set property for projective hierarchy

Is there any paper discussing the consistency strength (or possible equivalents, maybe large cardinals) of just assuming the perfect set property for certain levels of the projective hierarchy?

**7**

votes

**3**answers

585 views

### A compactness property for Borel sets

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?
(*) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = ...

**7**

votes

**1**answer

172 views

### Does there exist an uncountable separable metric space $X$ such that every subset of $X$ is a Borel set?

Is it consistent with ZFC that there exists an uncountable separable metric space $X$ such that every subset of $X$ is a Borel set?
If the continuum hypothesis holds, or more generally ...

**7**

votes

**2**answers

191 views

### Natural $\Pi^1_2$ (or worse) classes of structures?

(To clarify, my interest is mainly lightface, that is, $\Pi^1_2$ instead of $\bf \Pi^1_2$, although it doesn't particularly matter.)
This is just an idle curiosity. In logic, I find myself frequently ...

**7**

votes

**1**answer

427 views

### How long can it take to generate a $\sigma$-algebra?

I want to know if there is a $\sigma$-algebra such that for every countable ordinal $\alpha$ the $\sigma$-algebra can be generated in more than $\alpha$ steps but less than $\omega_{1}$ steps.
Given ...