Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with descriptive-set-theory
Search options questions only
not deleted
user 61536
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 descriptive set theory.
4
votes
1
answer
129
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 rel …
- 42k
11
votes
0
answers
142
views
Characterizing compact Hausdorff spaces whose all subsets are Borel
I am interested in characterizing compact topological spaces all of whose subsets are Borel. In this respect I have the following
Conjecture. For a compact Hausdorff space $X$ the following conditi …
- 42k
6
votes
1
answer
242
views
Is the space of countable closed covers of the Cantor set analytic?
For an uncountable compact metric space $X$ denote by $K(X)$ be the hyperspace of non-empty compact subsets of $X$, endowed with the Vietoris topology (which is generated by the Hausdorff metric).
I …
- 42k
3
votes
0
answers
72
views
Borel complexity of special unions of Polish spaces
Let $X$ be a compact metrizable space and $(A_q)_{q\in\mathbb Q}$ be a family of pairwise disjoint sets, indexed by rational numbers. Assume that the family $(A_q)_{q\in\mathbb Q}$ has the following p …
- 42k
7
votes
1
answer
283
views
Is there a first-countable space containing a closed discrete subset which is not $G_\delta$?
Being motivated by this problem, I am searching for an example of a first-countable regular topological space $X$ containing a closed discrete subset $D$, which is not $G_\delta$ in $X$.
It is easy …
- 42k
2
votes
0
answers
96
views
Codimension of analytic linear subspaces in Polish vector spaces
Let $A$ be a linear analytic subspace of a Polish vector space $X$.
Using Piccard-Pettis Theorem, it is easy to prove that $A$ has uncountable codimension in $X$. If $A$ is of type $F_\sigma$, then ap …
- 42k
6
votes
1
answer
172
views
Can each non-open analytic subgroup of a Polish abelian group be covered by countably many c...
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 nul …
- 42k
7
votes
0
answers
168
views
Countable network vs countable Borel network
Definition. A family $\mathcal N$ of subsets of a topological space $X$ is called
$\bullet$ a network if for any open set $U\subset X$ and point $x\in U$ there exists a set $N\in\mathcal N$ such that …
- 42k
6
votes
1
answer
328
views
Bernstein sets of large cardinality
A metrizable space $X$ will be called a generalized Bernstein set if every closed completely metrizable subspace $C$ of $X$ has cardinality $|C|<|X|$.
It is well-known that the real line contains a ( …
- 42k
6
votes
1
answer
415
views
What is the Borel complexity of this set?
Problem. What is the Borel complexity of the set
$$c(\mathbb Q)=\{(x_n)_{n\in\omega}\in\mathbb R^\omega:\exists\lim_{n\to\infty}x_n\in\mathbb Q\}$$
in the countable product of lines $\mathbb R^\omega$ …
- 42k
2
votes
0
answers
101
views
A Baire space with meager projections
Question. Is there a Baire subspace $X$ of a Tychonoff power $M^\kappa$ of some separable metrizable space $M$ such that for any countable subset $A\subset \kappa$ the projection $$X_A=\{x{\restric …
- 42k
3
votes
1
answer
143
views
A reference for a (folklore?) characterization of K-analytic spaces
I am writing a paper on K-analytic spaces and need the following known characterization.
Theorem. For a regular topological space $X$ the following conditions are equivalent:
(1) $X$ is a continuous …
- 42k
6
votes
2
answers
192
views
A non-Borel union of unit half-open squares
On the complex plane $\mathbb C$ consider the half-open square $$\square=\{z\in\mathbb C:0\le\Re(z)<1,\;0\le\Im(z)<1\}.$$
Observe that for every $z\in \mathbb C$ and $p\in\{0,1,2,3\}$ the set $(z+i^ …
- 42k
6
votes
1
answer
185
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 …
- 42k
17
votes
1
answer
780
views
Is there a continuous function $f:\mathbb R^\omega\to\mathbb R$ with injective restriction $...
Question. Is there a continuous function $f:\mathbb R^\omega\to\mathbb R$ whose restriction $f|\mathbb Q^\omega$ is injective?
- 42k