Descriptive Set Theory is the study of definable subsets of Polish spaces, where definable is taken to mean from the Borel or projective hierarchies. Other topics include infinite games and determinacy, definable equivalence relations and Borel reductions between them, Polish groups, and effective ...

learn more… | top users | synonyms

3
votes
1answer
40 views

Illfounded trees as “retract” of all trees

Definitions: Let $\omega^{<\omega}$ be the set of all finite sequences of natural numbers. For $u, v \in \omega^{<\omega}$, let $u \prec v$ denote that $u$ is a prefix of $v$. We call a subset ...
9
votes
2answers
145 views

Descriptive Complexity of Knot Equivalence

I was reading a little about knots (in a popular math book that wasn't very good) and the book put forth several knot invariants like the Alexander and Jones polynomials. But these are not complete ...
7
votes
1answer
151 views

Characterizing L(R) Cardinals in HOD

We're working in L(R) under AD. We know that $\omega_1$ is the least measurable in HOD, $\Theta$ is the least woodin, $\delta^2_1$ is the least strong to the woodin, etc. My question is about ...
3
votes
0answers
43 views

If $x≤^∗y$ has the $\text{BP}$(in $X^2$) we can say that A is meager?

Let $X$ be a Polish space. Let $(I,<)$ be a wellordered set and $(A_i)_{i∈I}$ a family of sets meager in $X$. Let $A=⋃_{i∈I}A_i$. If consider the relation $x≤^∗y$ defined by: $x,y∈A$ $\wedge$ (the ...
3
votes
0answers
70 views

Fixed Points of the Friedman Stanley Jump

Consider the situation of a pair $(X,E)$, where $X$ is a standard Borel space and $E$ is an invariant equivalence relation on $X$*. The Friedman-Stanley jump of this pair is an equivalence relation ...
12
votes
6answers
807 views

Application of Fraïssé construction in set theory

As you know Fraïssé limit construction and its generalization, Hrushovski's construction, have many applications in model theory to build models with interesting property. Now I would like to know ...
6
votes
1answer
139 views

Degree of unsolvability of finding a open approximation to a Borel set, given its Borel code

It is well known that every Borel set has the property of Baire. That is, for every Borel set $B$, there is an open set $U$ and a sequence of dense open sets $D_n$ such that for every $x\in \cap_n ...
2
votes
1answer
107 views

Is every set of small measure contained in an open set of small measure with null boundary?

Let $\lambda( \cdot )$ denote Lebesgue measure on $[0,1]$. Let $(A_n)_{n=1}^\infty$ be a decreasing sequence of Borel subsets of $[0,1]$ such that $\bigcap_{n=1}^\infty A_n = \emptyset$. Given ...
11
votes
1answer
236 views

A classic cardinal characteristic of the continuum in disguise?

We believe the answer to the following question, that is relevant to a joint research project with Piotr Szewczak, should be known. We would appreciate any help or pointer. Needed definitions may be ...
3
votes
0answers
135 views

A property of the Frechet filter and every ultrafilter

(Joint question with Piotr Szewczak.) Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least. For a filter $\mathcal{F}$, let ...
1
vote
0answers
92 views

Topological properties of space of Radon measures

Let $M$ denote the space of signed unbounded Radon measures on $\mathbb{R}$ as is defined by Bourbaki, i.e. $M$ is the dual of $C_c$ where $C_c$ is the space of continuous functions on $\mathbb{R}$ ...
2
votes
0answers
279 views

A query on how to climb inaccessibles in £

I am investigating to what extent extensions of the librationist property or set theory £ may support relative inaccessible sets; see Librationist Closures of the Paradoxes and Elements of ...
6
votes
1answer
163 views

Surjective (strong) reducibility of Borel equivalence relations

Suppose $E$ and $F$ are Borel equivalence relations on Polish spaces $X$, $Y$, resp. Say that $E$ is surjectively Borel reducible to $F$ iff there is a Borel surjection $f:X \to Y$ such that $xEy$ iff ...
6
votes
3answers
241 views

Borel cross section

It is known from metric space topology that a closed equivalence relation on a Polish space has either countably many or $\mathfrak{c}$ many equivalence classes. A short elementary proof is given in ...
3
votes
1answer
151 views

Countable chain condition in $\text{BP}(X)$

Let $\text{BP}(X)$ denote $\sigma$-algebra of subsets of $X$ with the Baire Property BP and $\text{MGR}(X)$ denote the $\sigma$-ideal of meager sets in $X$. Assume $X$ is second countable Baire ...
3
votes
1answer
185 views

Question about of comeager set

If $G\subseteq2^{\mathbb{N}}$ is comeager then exist is a partition $\mathbb{N}=A_0\cup A_1$, $A_0\cap A_1=\emptyset$, and sets $B_i \subseteq A_i$ for $i \in \{0,1\}$, such that for $A \subseteq ...
2
votes
0answers
64 views

Potentiality classes and Borel reductions

In a 1998 paper by Hjorth, Kechris, and Louveau, there was a definition given of a "potentiality class." That is, given an invariant equivalence relation $E$ on a standard Borel space $X$, we say $E$ ...
7
votes
0answers
109 views

A jump operator for Borel equivalence relations

It is well-known that with respect to Borel reducibility the class of Borel equivalence relations on a standard Borel space does not admit a maximal element. We can use the well-known Friedman-Staley ...
4
votes
1answer
110 views

Does a surjective measurable map induce a surjective pushforward operator?

I hope it is OK to post a question that is basically the same as the months old currently unanswered question at math stackexchange Suppose X, Y are Polish spaces (without loss of generality, we may ...
7
votes
1answer
166 views

Defining functions pointwise vs. almost everywhere (w.r.t. uncountably many mutually singular measures)

My question is motivated by a general measure-theoretic problem that one frequently encounters in probability: the need to work with uncountably many mutually singular measures at once, and with ...
7
votes
1answer
459 views

Is there a suitably generalized Baire property for topological spaces of arbitrary cardinalities?

Is there some suitable generalization to the notion of Baire property for topological spaces of arbitrary cardinalities which satisfies the following condition: The meager sets are sets which are ...
9
votes
0answers
213 views

Proving regularity properties from forcing axioms

It's well known that PFA implies projective determinacy. It's also well known that PD implies that all projective sets are Lebesgue measurable, have the Baire property, etc. Is there a direct proof ...
5
votes
3answers
413 views

Cohen algebra (generalization)

Let Bor($X$) = class of all borel subsets of $X$. Cohen algebra is defined as Bor(X) modulo the ideal of meager sets. The Cohen algebra has a combinatorial : it is the unique atomless complete ...
34
votes
4answers
8k 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 ...
4
votes
2answers
270 views

Limits of determinacy on reals

For $X\subseteq\mathbb{R}^\omega$, say that $X$ is determined if the associated game on $\mathbb{R}$ of length $\omega$ (players I and II alternate playing reals, player I wins iff the sequence built ...
5
votes
0answers
245 views

Cardinal characteristics without choice

(I'm taking my definition of a cardinal characteristic from Blass' excellent article http://www.math.lsa.umich.edu/~ablass/need.pdf, which cites Vojtas/Fremlin/Miller; theirs is more general, but I'm ...
1
vote
1answer
157 views

A question regarding sets of Vitali's type in models of $ZF+GCH$ where $L$$\neq$$V$

Consider sets of Vitali's type in models of $ZF+GCH$ where $L$ $\neq$$V$. Are there sets of Vitali's type in both $L$ and $V-L$? If so, is there any way one can distinguish the constructible sets of ...
2
votes
0answers
124 views

Classify spaces that make extension theorems hold

Recall a Polish space is a completely metrizable separable space. Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...
7
votes
2answers
343 views

When can we reach a real by forcing?

I'm sure this is well-known, but: suppose I have a non-constructible real $r\in V-L$. Under what conditions is there a poset $\mathbb{P}\in L$ and a $G$ which is $\mathbb{P}$-generic over $L$, such ...
5
votes
3answers
126 views

Measure on hyperspace of compact subsets

For a Polish space $X$, let $K(X)$ be the set of compact subsets of $X$. Given the topology with basis $\{K\in K(X):K\subset U_0, K\cap U_1\neq\emptyset,\ldots,K\cap U_n\neq\emptyset\}$ for open sets ...
7
votes
1answer
164 views

Space of Borel measurable maps

That's a question from MSE (here) that did not receive any answer for some days. I migrate it to MO. Let $X$ and $Y$ be two standard Borel spaces and consider the set $M(X,Y)$ of measurable maps $f: ...
1
vote
1answer
219 views

At what level of the analytic hierarchy do Cohen reals lie?

In his doctoral thesis titled "Three models of ordinal computability", Benjamin Seyfferth proved the following theorems: i) A set $\mathtt A$ of reals is Ordinal Turing Machine-enumerable if and only ...
1
vote
1answer
202 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
10
votes
3answers
478 views

The continuum hypothesis for packing shapes without overlapping

Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many ...
8
votes
2answers
332 views

cardinality of perfect sets in generalized Baire space

I've been unable to find an answer to the following question in the literature on generalized descriptive set theory. Consider Baire space $\kappa^{\kappa}$ where $\kappa$ is inaccessible. The basic ...
9
votes
0answers
208 views

Is $\mathbb{Z}^{\omega}$ ever the union of a chain of proper subgroups each isomorphic to $\mathbb{Z}^{\omega}$?

Recall that the covering number $cov(B)$ is the least cardinal $\kappa$ such that $\kappa$ meagre sets cover the real line. Andreas Blass and John Irwin http://www.math.lsa.umich.edu/~ablass/bb.pdf ...
7
votes
1answer
153 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. ...
16
votes
1answer
637 views

Three old questions on the Sacks forcing

I came across the two following Qs in 1970. Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...
4
votes
1answer
178 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 ...
5
votes
0answers
142 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 ...
2
votes
0answers
110 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. ...
5
votes
0answers
219 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 ...
3
votes
1answer
258 views

Quotients of standard Borel spaces

Let $X$ and $Y$ be standard Borel spaces: topological spaces homeomorphic to Borel subsets of complete metric spaces. Given a surjective Borel map $f:X\to Y$, we get an equivalence relation ...
2
votes
1answer
207 views

Inverse of a Borel surjection

Let $X$ and $Y$ be standard Borel spaces, and let $f:X\to Y$ be a surjective Borel map. Does there exist a Borel inverse of $f$, that is a Borel map $g:Y\to X$ such that $f\circ g = \mathrm{id}_Y$. ...
6
votes
2answers
497 views

Can we define an “empirically generic” real number?

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...
4
votes
1answer
111 views

Analytic enlargement of an analytic set

Let $X,Y$ be Borel spaces and $A\subseteq X\times Y$ be an analytic set. Let $\pi:X\times Y \to X$ denote the projection map onto $X$. Does there always exist a set $B$ such that $\pi(B) = X\setminus ...
8
votes
1answer
327 views

Partition $\Bbb{R}$ into a family of sets each one homeomorphic to the Cantor set

It is known that there is no (nontrivial) partition of $\Bbb{R}$ into a countable number of closed set. But is there a partition of $\Bbb{R}$ into sets, each one homeomorphic to the cantor ternary ...
14
votes
2answers
845 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, ...
10
votes
2answers
260 views

Sets that are not $\infty$-Borel

I have seen a few techinques for proving that certain sets of real numbers are $\infty$-Borel (definition) but it just occurred to me that I don't know of any way to prove that a set of real numbers ...
3
votes
1answer
193 views

Measure Preserving Transformation Induced by a $*$-automorphism on $L^\infty(X,\mu)$

The following excerpt is from Connes' Noncommutative Geometry Let $(X, \mathcal{B}, \mu)$ be a standard Borel space equipped with a probability measure $\mu$, and let $\ T$ be a Borel ...