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 14340
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.
8
votes
0
answers
223
views
The Hausdorff dimension of the set of reals of inner models
Suppose that both $M$ and $N$ are models of $ZFC$ with $M\subseteq N$ so that $M$ is definable in $N$.
Question Can $(\mathbb{R})^M$ have Hausdorff dimension strictly between $0$ and $1$ in $N$? How …
- 4,201
7
votes
1
answer
339
views
Uniformization under AD
Can the following uniformization statement be proved by $ZF+AD+DC$?
For any binary relation $R\subseteq \mathbb{R}^2$ with the property that $\forall x (\{y\mid R(x,y)\}\mbox{ is at most countable an …
- 4,201
3
votes
1
answer
151
views
Analytic sets and Turing determinacy
I wonder whether the following question have a positive answer within $ZFC$.
Question If $\{A_n\}_{n\in \omega}$ is a sequence of analytic sets so that $\bigcup_n A_n=2^{\omega}$, then there must be …
- 4,201
2
votes
1
answer
207
views
The measure of ideals generated by random reals
We assume that for every real $x$, $L[x]$ only contains countably many reals.
Given a set $X$ of reals, then $L$-ideal generated by $X$ is the smallest set $I$ of reals so that
For any reals $x\in …
- 4,201
5
votes
0
answers
195
views
A slight extension of Sacks theorem
Sacks proves the following theorem first.
Theorem 1: If $\alpha$ is a countable admissible ordinal, then there is a real $x$ so that $\omega_1^x=\alpha$.
Anyone knows who proves the following sl …
- 4,201
4
votes
1
answer
186
views
A partial relativization of Gandy's basis theorem
Gandy's basis theorem says that any nonempty $\Sigma^1_1$ set $A$ contains a real $x$ with $\omega_1^x=\omega_1^{CK}$, the least nonrecursive ordinal.
Now the following question seems quite interest …
- 4,201
11
votes
0
answers
378
views
Concerning Luzin-(N)-property
Definition: a function $f:\mathbb{R}\to \mathbb{R}$ has Luzin-(N)-Property if $f$ maps any null set to a null set.
By https://www.encyclopediaofmath.org/index.php/Luzin-N-property, it is known th …
- 4,201
11
votes
1
answer
431
views
Concerning Silver's result
Jack Silver proved that if $x$ is a real so that every $x$-admissible ordinal is a cardinal in $L$, then $0^{\sharp}$ exists.
I wonder whether various weaker or stronger versions of Silver's result …
- 4,201
8
votes
1
answer
405
views
$\Delta^1_2$-well ordering vs $\Delta^1_3$
It is a classical result that if $0^{\sharp}$ exists, then there is a model of $ZFC$ in which there is a $\Delta^1_3$ well ordering of reals but no $\Delta^1_2$-well ordering.
My question is: Is $0^{ …
- 4,201
14
votes
2
answers
1k
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, as …
- 4,201
5
votes
0
answers
779
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 ass …
- 4,201
5
votes
1
answer
872
views
Countable admissible ordinals
Jensen claimed that for any finite increasing sequence countable admissible ordinals $\omega= \alpha_0<\alpha_1\cdots <\alpha_n$, there is a real $x$ so that, for each $m\leq n$, $\alpha_m$ is the $m …
- 4,201