Skip to main content
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
Search options questions only not deleted user 10909

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
0 answers
152 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 …
David Feldman's user avatar
18 votes
3 answers
1k views

Games that never begin

Games that never end play a major role in descriptive set theory. See for example Kechris' GTM. Question: Does there exist a literature concerning games that never begin? I have in mind two playe …
David Feldman's user avatar
6 votes
2 answers
386 views

Are Vitali-type nonmeasurable sets determinate?

Here, by a Vitali set, I mean the following. Call $f_1,f_2:\omega\rightarrow 2$ tail-equivalent if {$n| f_1(n)\not=f_2(n)$}$<\infty$. Vitali sets (existence via AC) contain one such $f$ from each …
David Feldman's user avatar
7 votes
0 answers
465 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 topolo …
David Feldman's user avatar
7 votes
0 answers
274 views

A strange planar set and the Continuum Hypothesis

Call a number abnormal if its decimal expansion doesn't feature every digit an infinite number of times. Call a triangle in ${\Bbb R}^2$ abnormal if at least one of its angles spans an abnormal frac …
David Feldman's user avatar
13 votes
1 answer
1k views

Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhaps so...

Is every sigma-algebra the Borel algebra of a topology? inspires the present question which asks for less. Question: Given a $\sigma$-algebra $\mathcal A$ on a set $X$, does there exist a topology $\m …
David Feldman's user avatar