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

**26**

votes

**0**answers

878 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 ...

**20**

votes

**0**answers

797 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

854 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 ...

**10**

votes

**0**answers

201 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

**0**answers

122 views

### Haar measurable sets and quotient maps

Let $G$ be a locally compact Hausdorff group with a Haar measure $\mu$, let $H$ be a closed normal subgroup of $G$, and let $q: G \to G/H$ be the quotient homomorphism. Let $\nu$ be a Haar measure ...

**9**

votes

**0**answers

460 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 ...

**8**

votes

**0**answers

466 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 ...

**7**

votes

**0**answers

249 views

### Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...

**7**

votes

**0**answers

136 views

### How about the Wadge rank of A union B when A and B are Wadge equivalent?

Hello,
We know that A is Wadge reducible to B if there is a continuous map $f$ such that A is the preimage of B via $f$, and the Wadge order is defined by $A\leq_{w}B$ if $A$ is Wagde reducible to ...

**6**

votes

**0**answers

93 views

### Is the set of measurable maps with countable range Borel?

Let $(X,\mu)$ be a standard probability space, and $(Y,\tau)$ an uncountable Polish space. Then the set $L^0(X,\mu,Y)$ of measurable maps from $X$ to $Y$ identified up to measure 0 is Polish w.r.t. ...

**6**

votes

**0**answers

167 views

### $\omega$-models of $\mathbf{\Sigma^1_1}-DC$ and $\mathbf{\Delta^1_1}-CA$

So what is needed to demonstrate something (say like $L_{\omega_1^{CK}}[a]$ is a $\omega$-models of $\mathbf{\Sigma^1_1}$-$DC$ or $\mathbf{\Delta^1_1}$-$CA$? It's not like I don't understand what the ...

**5**

votes

**0**answers

111 views

### A result of Steel on characterizing lightface pointclasses

In the article Projectively wellordered inner models, Steel proves the following theorem (4.12):
Theorem: Let $n < \omega$ and suppose $\mathcal{M}_n^{\sharp}$ exists. Let ...

**5**

votes

**0**answers

201 views

### Existence of an universally measurable pullback

Let $X,Y$ and $Z$ be standard Borel spaces:
topological spaces homeomorphic to Borel subsets of complete separable metric spaces.
Let $K\subseteq X\times Y$ be analytic. Assume that $K_x$ is not ...

**5**

votes

**0**answers

331 views

### Proof of “AD + every set of reals is Suslin” implies AD$_\mathbb{R}$

Could someone point me toward a proof that "ZF + AD + every set of reals is Suslin" (+ $\mathsf{DC}\_\mathbb{R}$?) implies $\mathsf{AD}\_\mathbb{R}$, either with a reference or a hint?
I am ...

**5**

votes

**0**answers

304 views

### Closure properties of familes of $G_\delta$ sets.

Given a family of sets $G\subset P(X)$, can one characterize by "closure properties" alone whether or not $G$ arises as the family of all $G_\delta$ for some topology on $X$? some Polish space ...

**5**

votes

**0**answers

193 views

### Infinity-Borel sets in ZFC

The notion of an $\infty$-Borel set of reals is useful in the study of AD. Under ZFC it becomes trivial: every set of reals is $\infty$-Borel. However, the notion of an $\infty$-Borel code is still ...

**5**

votes

**0**answers

322 views

### Sets of reals amenable to each L[x]

If $A$ is a set of reals such that $A \cap L[x] \in L[x]$ for each real $x$, is there a real $z$ such that $A \cap L[x] \in OD_z^{L[x]}$ for a cone of $x$?
This can be proved under the Axiom of ...

**5**

votes

**0**answers

556 views

### ZFC+``every analytical set is measurable"

I know that "ZFC+the existence of an inaccessible cardinal" is equconsistent to
"ZFC + every $\mathbf{\Sigma}^1_3$ set is measurable".
Then how about the light face case?
Without large cardinal ...

**4**

votes

**0**answers

98 views

### The (global) theory of Borel equivalence relations

What do we know about the complexity of the theory of Borel equivalence relations, with the Borel reducibility order $\leq_B$?
That is, let $\mathcal{B}$ be the set of all Borel equivalence ...

**4**

votes

**0**answers

171 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...

**4**

votes

**0**answers

134 views

### Almost universal properties

Suppose that a small category $C$ has sets of objects and arrows that carry the structure of, say, Polish spaces, in some appropriately compatible way. For example $C$ might be an internal category in ...

**4**

votes

**0**answers

504 views

### Is this observation about the Borel Hierarchy trivial?

Hello, consider the following theorem. Is it trivial? Is it interesting? Is it worth including in a paper if I can prove it in 1 line as a corollary?
Theorem: Suppose $n>0$ is a natural. ...

**3**

votes

**0**answers

176 views

### Strong measure zero sets and selection principles

A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...

**3**

votes

**0**answers

123 views

### Theory of (definable) ideals on a multi-dimensional countable set

I'm wondering if there are any results about definable ideals/filters on $\omega\times\omega$, $\omega\times\omega\times\omega$, etc.
To give a sense of the kind of results I might be looking for: ...

**3**

votes

**0**answers

257 views

### For METRIZABLE spaces, do the Banach classes and Baire classes coincide?

In this paper: 'Borel structures for Function spaces' by Robert Aumann,
http://projecteuclid.org/euclid.ijm/1255631584
Aumann claims that when X and Y are metric spaces (among other things), the ...

**2**

votes

**0**answers

47 views

### Uniformization/measurable selection theorems

Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...

**2**

votes

**0**answers

66 views

### Countable model theory for $\omega$-stable theories?

This is a bit of a fishing expedition, because I'm not sure what I'm looking for. Very vaguely stated, here's the driving question:
What conditions on an $\omega$-stable theory make the class of ...

**2**

votes

**0**answers

167 views

### How many Dedekind-finite sets can $\mathbb{R}$ be partitioned into?

Building off Asaf Karagila's answer to my previous question (Can $\mathbb{R}$ be partitioned into dedekind-finite sets?) on partitioning $\mathbb{R}$ into strictly Dedekind-finite sets:
(1) What ...

**2**

votes

**0**answers

133 views

### Comparing two metrics on the space of infinite sequences and relating open and closed sets

Let $X = \{ 0, 1 \}$ and $X^{\mathbb N_0} = \{ x_0 x_1 x_2 \ldots : x_i \in X \}$ be the space of all infinite sequences, then a metric could be defined on it
$$
d(u,v) := \frac{1}{2^r} \mbox{ with } ...

**2**

votes

**0**answers

104 views

### Open games formed by pasting together infinitely many clopen games

Throughout, I think of games and their underlying trees as the same: so a "clopen game" and a "well-founded tree" mean the same thing.
Fix a sequence of clopen games $\lbrace T_i: i\in\omega\rbrace$. ...

**2**

votes

**0**answers

245 views

### Descriptive set theory on $\mathbb{R}^\mathbb{N}$

The short version of my question is, What is a good source for learning about descriptive set theory on the space $\mathbb{R}^\mathbb{N}$, under the product topology coming from the discrete topology ...

**2**

votes

**0**answers

131 views

### Unbounded Class of Orbit Equivalence Relations

In their paper titled "The Classification of Hypersmooth Borel Equivalence Relations" Alexander Kechris and Alain Louveau quote the following (Theorem 5.2 in the article) as "Harrington, unpublished": ...

**0**

votes

**0**answers

194 views

### Universally measurable sets and the perfect set property

Is it true that all universally measurable sets (say on $[0,1]$ ) have the perfect set property?
I am not an expert in this at all and the answer may be known, but I was not able to find it.
I ...