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

**4**

votes

**1**answer

90 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

**1**answer

150 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

**1**answer

452 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

**0**answers

201 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

**3**answers

401 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

**4**answers

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

**2**answers

263 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

**0**answers

236 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

**1**answer

154 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

**0**answers

120 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

**2**answers

337 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

**3**answers

122 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

**1**answer

134 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

**1**answer

216 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

**1**answer

200 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

**3**answers

467 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

**2**answers

326 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

**0**answers

201 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

**1**answer

150 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

**1**answer

624 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

**1**answer

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

**1**

vote

**2**answers

129 views

### Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?

Definitions and notations.
Let $\mathcal{P}(X)$ the power set of $X$.
Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X.
We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...

**5**

votes

**0**answers

137 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

**0**answers

94 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

**0**answers

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

**1**answer

246 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

**1**answer

204 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

**2**answers

480 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

**1**answer

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

**1**answer

325 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

**2**answers

842 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

**2**answers

253 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

**1**answer

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

**10**

votes

**1**answer

456 views

### Does Turing determinacy imply full determinacy?

The axiom of Turing determinacy is a weakening of the full axiom of determinacy, $AD$, in which only games with payoff sets which are $\equiv_T$-invariant are demanded to be determined.
In "Turing ...

**9**

votes

**2**answers

335 views

### When is $A$ “$L$-ish” whenever $B$ is “$L$-ish”?

My question is about a kind of relative constructibility in set theory.
Fix a countable transitive model $W\models ZFC$ which is much bigger than $L^W$. There is a natural way within $W$ to compare ...

**9**

votes

**1**answer

292 views

### Is $\ell^\infty$ Polishable?

Consider $\ell^\infty$ as a subspace of the Polish space $\mathbb{R}^\omega$. It is easy to check that $\ell^\infty$ is not Polish in the subspace topology, as it is countable union of the compact ...

**10**

votes

**1**answer

389 views

### Higher recursion theory and reverse mathematics: What is to $\Pi^1_1-CA_0$ as $RCA_0$ is to $ACA_0$?

There is an extremely rich and well-understood analogy between "recursively enumerable" and "$\Pi^1_1$" - indeed, this is the starting point of metarecursion theory, and $\alpha$-recursion theory in ...

**7**

votes

**2**answers

257 views

### Cofinality of a $\sigma$-ideal of $\mathbb{R}$

The cofinality of a partially ordered set $\left( P,\leq \right)$, written $cof(P)$, is the smallest cardinality of a subset $T$ of $P$ that is [EDIT: cofinal] in $P$, i.e. for every element $p\in P$ ...

**9**

votes

**1**answer

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

**5**

votes

**1**answer

422 views

### sets without perfect subset in a non-separable completely metrizable space

Suppose $X$ is a completely metrizable (but not separable) space. Suppose $D$ is a Borel (actually $F_{\sigma}$) subset of $X$. Is there any logical relation between the following statements?
[1] ...

**9**

votes

**0**answers

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

**-1**

votes

**1**answer

118 views

### ($^{\omega}2$,<) is not well-order. [closed]

Let < be a lexicographic order on $^{\omega}2$ or in other words given distinct functions $f,g$ from $\omega$ to 2, let $f<g$ if and only if $f(n)=0$ and $g(n)=1$, where $n$ is the lease ...

**4**

votes

**0**answers

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

**14**

votes

**2**answers

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

**5**

votes

**1**answer

240 views

### $\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me.
...

**9**

votes

**1**answer

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

**5**

votes

**0**answers

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

**4**

votes

**1**answer

227 views

### Perfect set property implies $\omega_1$ is a limit cardinal in $L$

Specker proved in 1957 that if in $V$ every set of real numbers has the perfect set property, than in $L$, $\omega_1^V$ is actually a limit cardinal.
The original proof is in German, and I've been ...

**5**

votes

**1**answer

79 views

### Measurability of $\{ x \in X ; H_0 x \subset A \}$

Let $H$ be some Polish group and $X$ some standard Borel space. Assume that $H$ acts measurably on $X$, i.e. $(h,x) \mapsto hx$ is Borel. Let $H_0 \subset H$ and $A \subset X$ be some Borel sets. Is ...

**5**

votes

**1**answer

220 views

### A model of Krivine

In a paper by J.-L. Krivine, Modèles de ZF+AC dans lesquels tout ensemble de réels définissable en termes d'ordinaux est mesurable-Lebesgue [C. R. Acad. Sci. Paris Sér. A-B 269 (1969), A549–A552, ...