**1**

vote

**1**answer

90 views

### Classification of Lebesgue-Rokhlin spaces

I am currently trying to grasp some ideas on Lebesgue-Rokhlin spaces from Bogachev, "Measure Theory", vol. 2.
Such spaces are also known as standard probability spaces but the definitions are not ...

**7**

votes

**0**answers

183 views

### (A little bit) Beyond the E-recursive

The E-recursive functions are a particular generalization of classical recursion theory to the entire set-theoretic universe, $V$. They are defined via a schemes: see ...

**4**

votes

**1**answer

51 views

### Hurewicz versus Wadge hierarchy of zero-dimensional Borel sets?

Given two subsets $A,B$ of the Cantor cube $2^\omega$ we write $A\le_W B$ (resp. $A\le_H B$) if there is a continuous (and injective) function $f:2^\omega\to 2^\omega$ such that $f^{-1}(B)=A$. The ...

**2**

votes

**0**answers

100 views

### A question regarding an analogue of the Kleene $T$-predicate for Koepke's ordinal computability

Does Koepke's notion of ordinal computability admit an analogue of the Kleene $T$-predicate? If so, is the existence of such a $T$-predicate independent of $ZFC$? Also, if one assumes the existence ...

**4**

votes

**0**answers

104 views

### Characterization of $L[T_{2n+1}]$ as a direct limit of mice

I am asking for a reference request/proof sketch for the result of Steel
that characterizes $L[T_{2n+1}]$ as a direct limit of mice.
Given that both $L[T_{2n+1}]$ and $M_{2n}$ have a $\Sigma_{2n+2}$ ...

**11**

votes

**2**answers

363 views

### Woodin on Posner-Robinson for the hyperjump and sharp

The Posner-Robinson theorem states that, if $X$ is noncomputable, there is some $G$ such that $X\oplus G=G'$; that is, even though genuine jump inversion only works above $0'$, every (nontrivial) $X$ ...

**8**

votes

**0**answers

211 views

### Outline of Generic Separable Banach Spaces don't have a Schauder Basis

So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces ...

**3**

votes

**0**answers

244 views

### “Nicely” strong measure zero sets

This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: ...

**7**

votes

**1**answer

317 views

### Is every ordinal potentially definable?

It is easy to see that, if $V\models\alpha>\omega_1^{CK}$, then $\alpha$ is not recursive in any forcing extension of $V$. The argument goes as follows:
The relation "$\Phi_e=r$" is $\Pi^0_2$.
...

**3**

votes

**2**answers

170 views

### Questions on topologies on space of Radon measures

Consider the space $C_c(\mathbb{R})$ of continuous real-valued functions on $\mathbb{R}$ equipped with the inductive limit topology by $C_c(\mathbb{R}) = \bigcup_{n \in \mathbb{N}} C_c(\mathbb{R}, ...

**9**

votes

**0**answers

150 views

### From interpolation to separation

Lusin's separation theorem states that, if $A$ and $B$ are disjoint analytic subsets of a Polish space, then there is a Borel set $X$ separating them ($A\subseteq X$, $B\cap X=\emptyset$). Craig's ...

**16**

votes

**1**answer

428 views

### Two strengthenings of “strong measure zero”

A set $X\subseteq\mathbb{R}$ is strong measure zero if, for every sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals, there is a sequence $(I_i)_{i\in\mathbb{N}}$ of open intervals covering ...

**4**

votes

**1**answer

84 views

### Is every convex subset of a Borel-linearly ordered space measurable?

Let $(X,\Sigma)$ be a standard measurable space, and let $\,\preceq\,$ be a total order on $X$ with the property that $\,\{(x,y) \in X \times X: x \preceq y\} \in \Sigma \otimes \Sigma$.
Let $A ...

**4**

votes

**1**answer

86 views

### On continuous perturbations of functions of the first Baire class on the Cantor set

Is it true that for any function of the first Baire class $f:X\to\mathbb R$ on the Cantor cube $X=2^\omega$ there is a continuous function $g:X\to[0,1]$ such that the image $(f+g)(X)$ is disjoint with ...

**5**

votes

**0**answers

59 views

### Is there an analytic $\mathrm{P}$- ideal on $\omega$ which is not $\Sigma^0_2$ and not $\Pi^0_3$-complete?

Soleski proved that for any analytic $\mathrm{P}$-ideal on $\omega$ is $\Pi^0_3$.
The usually example , such as the density zero ideal $Z_0$ is $\Pi^0_3$-complete, $I_{\frac{1}{n}}$ is ...

**1**

vote

**0**answers

67 views

### Scott Rank of Models of Infinitary Sentences

Let $\mathscr{L}$ be a recursive language. Let $\varphi$ be a $\mathscr{L}_{\omega_1 \omega}$-sentence and $\varphi \in L_{\omega_1^\emptyset}$. (Let $\varphi$ be a computably infinitary formula.) Let ...

**6**

votes

**0**answers

236 views

### The least admissible above a dominating real

Let $\mathbb{P}$ be the usual forcing which adds a dominating real: conditions in $\mathbb{P}$ are pairs $(p, f)$ with $p:\omega\rightarrow\omega$ finite partial and $f:\omega\rightarrow\omega$ total, ...

**4**

votes

**2**answers

207 views

### Natural examples of $\bf\Sigma^0_3$ equivalence relations

I have been reading about Borel equivalence relations and I have noticed that while $\bf\Sigma^0_3$ equivalence relations are mentioned, there is a conspicuous absence of natural examples (other than ...

**1**

vote

**2**answers

137 views

### Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$

I am curious about the relationship between the definable power set of $\omega$ and the $\omega_1^{CK}$th level of the constructible sets $L$.
In short, $\omega_1^{CK}$ is the least nonrecursive ...

**6**

votes

**1**answer

88 views

### Can each non-open analytic subgroup of a Polish abelian group be covered by countably many closed Haar null subsets?

By a result of Laczkovich ('Analytic subgroups of the reals' Proc AMS Vol 126 (1998)), any non-open analytic subgroup of a Polish locally compact group can be covered by countably many closed Haar ...

**3**

votes

**1**answer

73 views

### Is the sumset of two Haar positive closed subsets of a Polish group non-meager?

A famous Steinhaus theorem says that if measurable subsets $A,B$ of a locally compact topological group $G$ have positive Haar measure, then the difference $AA^{-1}$ is a neighborhood of the unit and ...

**4**

votes

**1**answer

168 views

### Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

It is known that (light-face) $\Sigma_3^1$ generic absoluteness is consistent with $\mathsf{ZFC}$: Friedman and Bagaria showed that it holds in the $\text{Coll}(\omega, < \kappa)$ extension of $V$ ...

**8**

votes

**1**answer

433 views

### Does there exist an uncountable partition of a Polish space so that the union of any collection of blocks is Borel?

Is it consistent that there exists a partition $P$ of the real number line $\mathbb{R}$ such that $|P|>\aleph_{0}$ but where $\bigcup R$ is Borel whenever $R\subseteq P$?
If ...

**2**

votes

**1**answer

91 views

### Equality of Borel sets

I would like to understand the complexity of "equality of Borel sets". By complexity, I mean the complexity in the sense of Borel reducibility.
Of course, since there is no standard Borel space of ...

**8**

votes

**0**answers

251 views

### A Banach-Tarski game

This is partially inspired by the question http://math.stackexchange.com/questions/1383397/cutting-a-banach-tarski-cake, which I find intriguing if unclearly written.
A paradoxical family of subsets ...

**4**

votes

**1**answer

107 views

### Is it possible for a separable metric and a non-separable metric to have the same Borel $\sigma$-algebra?

I hope this is not too basic or obvious a question.
Let $d_1$ and $d_2$ be metrics on the same set $X$, with $d_1$ being separable and $d_2$ not being separable. Is it possible that $d_1$ and $d_2$ ...

**1**

vote

**0**answers

96 views

### Measurable selections of a finite familiy of measures

EDIT. I'm adding a missing hypothesis and a really TL;DR version of the core problem. Warning: This short statement is the strongest form of what I want, hence not as plausible as the original form.
...

**7**

votes

**2**answers

328 views

### Topological tameness beyond the Gandy-Harrington topology

The Gandy-Harrington topology on $\omega^\omega$ is the topology generated by all lightface $\Sigma^1_1$ sets; that is, all sets which are continuous-in-the-usual-sense images of $\omega^\omega$.
...

**11**

votes

**1**answer

321 views

### Non meager rectangle

Suppose $G \subseteq \mathbb{R}^2$ is dense $G_\delta$. Must there (in ZFC) exist non meager sets of reals $A, B$ such that $A \times B \subseteq G$?

**5**

votes

**1**answer

193 views

### Proof of a soft version of Moschovakis's lemma

The following fact, which I've heard being called "soft version of Moschovakis's lemma" (see top answer here) is the following:
Under AD, if there is a surjection $\Bbb R\rightarrow\alpha$, then ...

**7**

votes

**2**answers

543 views

### Avoiding countable subgroups of general uncountable groups

The following problem is a general form of another problem (motivation is available there). Initially, the problems were posted together, but the first one is solved below, a solution that does not ...

**9**

votes

**1**answer

393 views

### Just a little absoluteness might be cheaper?

Absoluteness is a wonderful thing, but expensive consistency-strength wise. My question is, when can we get large amounts of absoluteness in specific situations for much cheaper?
Specifically, fix a ...

**9**

votes

**0**answers

192 views

### The Chang model after collapsing an inaccessible limit of Woodins

If $\kappa$ is an inaccessible cardinal and $G \subset \operatorname{Col}(\omega,\mathord{<}\kappa)$ is a $V$-generic filter, then in $V[G]$ the Chang model $L(\text{Ord}^\omega)$ satisfies "every ...

**2**

votes

**0**answers

208 views

### Is there a $\Sigma^0_3$-complete ideal on $\omega$?

In Kechris's book "Classical Descriputive set theory" Chapter 23 (Exercise 23.4), it claim that there is a $\Sigma^0_\xi$-complete ideal on $\omega$ for each $\xi\geq 3$.
There is a candidate ...

**5**

votes

**0**answers

146 views

### Analytic equivalence relations whose classes are sometimes Borel

There are analytic equivalence relations for which the statement "All classes are Borel" is independent of $ZFC$. In all the examples I know about, the classes are non Borel in $L$ or $L[z]$ for some ...

**9**

votes

**1**answer

252 views

### Meager subgroups of compact groups

Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre.
Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...

**5**

votes

**1**answer

223 views

### $\text{cov}(\mathcal{M})$ vs. $\mathfrak{b}$ vs. $\mathfrak{s}$

Let me first recall some pretty standard notations:
$\text{cov}(\mathcal{M})$ is the covering number of the ideal $\mathcal{M}$ of all meager subsets of $\mathbb{R}$;
$\mathfrak{b}$ is the bounding ...

**-1**

votes

**1**answer

117 views

### Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]

Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology.
Let $X$ be a topological space (for convenience, it might be Polish ...

**9**

votes

**1**answer

299 views

### Assuming AD, is every infinite cardinal closed under power set in a choice model?

Assume AD+DC. Assume $\kappa$ is an infinite cardinal and $N$ is a (set or class) transitive model of ZFC containing $\kappa$.
Is it true that for all $\alpha<\kappa$, $N$ thinks that the power ...

**5**

votes

**1**answer

183 views

### Universally Baire Tree Representation of Projective Sets

In Feng, Magidor, and Woodin "Universally Baire Sets of Reals", they show that if $A$ is a $\mathbf{\Pi}_2^1$ set and $U$ and $V$ are any pair of trees witnessing the universal baireness of $A$, then ...

**6**

votes

**0**answers

264 views

### Reference for “if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin”

Does anyone know of a reference for one or both of the following facts (in $\mathsf{ZF}$)?
If the set of reals $A$ is Suslin, then every $\Sigma^1_1(A)$ set of reals is Suslin.
If $T$ is a tree on ...

**9**

votes

**2**answers

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

**3**

votes

**1**answer

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

**7**

votes

**1**answer

196 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

**0**answers

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

**4**

votes

**0**answers

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

**6**

votes

**1**answer

188 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

**1**answer

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

**5**

votes

**1**answer

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

**11**

votes

**1**answer

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