The tag has no wiki summary.

learn more… | top users | synonyms

26
votes
0answers
809 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
0answers
770 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
0answers
847 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
0answers
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
0answers
190 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
0answers
449 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
0answers
241 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
0answers
453 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
0answers
130 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
0answers
165 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
0answers
104 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
0answers
169 views

Existence of an universally measurable pullback

Edited: previous version of the question was less general but also less readable. Let $X,Y$ and $Z$ be standard Borel spaces, that is topological spaces homeomorphic to Borel subsets of complete ...
5
votes
0answers
325 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
0answers
284 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
0answers
182 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
0answers
321 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
0answers
548 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
0answers
122 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
0answers
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
0answers
495 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. ...
4
votes
0answers
168 views

Borel selections of partitions of the space of probability measures

The environment: Suppose that $X$ is a Polish space and $\Delta(X)$ the set of Borel probability measures over $X$ (given the topology of weak convergence, with the Prohorov metric). Let ...
3
votes
0answers
159 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
0answers
121 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
0answers
254 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
0answers
149 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
0answers
127 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
0answers
103 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
0answers
232 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
0answers
127 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
0answers
188 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 ...