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 answers only
not deleted
user 6794
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.
7
votes
Accepted
Subset of the reals with zero inner measure and "full" outer measure in $\mathsf{ZF}+\mathsf...
I'll start as in Monroe Eskew's answer: Assume $X$ isn't measurable and get Borel sets $A,B$, with $A\subseteq X\subseteq B$, such that the measure of $A$ (resp. $B$) is the inner (resp. outer) measur …
- 73.2k
9
votes
Follow up question: Shelah's "Can you take Solovay's inaccessible away?"
Gabe Goldberg has already given a couple of proofs, but here's another one, just because I like it. Being a model of ZFC, $L[x]$ sees a one-to-one map of its $\omega_1$ into its reals. That map, in t …
- 73.2k
7
votes
Accepted
"Compactness length" of Baire space
Baire space is the union of $\mathfrak d$ (the dominating number) compact subsets. So, using equivalence relations that collapse those sets one at a time (i.e., one equivalence class is the set to be …
- 73.2k
14
votes
Accepted
Do Borel subsets of the plane with null sections have Borel projections?
Notice that $\omega^\omega$ can be embedded to a null subset of itself by sending any sequence $(a_0,a_1,a_2,\dots)$ to $(a_0,0,a_1,0,a_2,0,\dots)$. So any Borel phenomenon that can happen in $\omega^ …
- 73.2k
9
votes
Accepted
Measurably-isomorphic subsets of polish spaces and the continuum hypothesis
Every Borel subset (and in fact every analytic subset) of a Polish space either is countable or has a perfect subset. In particular, an uncountable Borel subset in a Polish space has the cardinality …
- 73.2k
6
votes
How badly does compactness fail in $\mathcal{L}_{\omega_1\omega}$?
This is really a comment, but (a) it's too long and (b) is ought to be attached to both of the answers. Not only does the characterization of the $\kappa$-compactness property not depend on the availa …
- 73.2k
12
votes
Accepted
What is the descriptive complexity of a set added by Cohen forcing?
Since Cohen forcing is weakly homogeneous, all hereditarily ordinal definable sets in the Cohen extension are already in the ground model. That applies in particular to any ordinal definable real, an …
- 73.2k
12
votes
Accepted
Ordinal-definable witnesses to the perfect set property?
Let $A$ be the set of those reals that are not OD. Then $A$ is OD (since I've just defined it), and it's uncountable (since its complement, being a well-orderable set of reals, must be countable unde …
- 73.2k
7
votes
Accepted
Iteration of random reals
Since $x$ is random over $V$, the fact that $C_x^{V[x]}$ is null is (like any fact about $x$ in $V[x]$) forced by some condition in $V$. This condition is the equivalence class, modulo the null ideal …
- 73.2k
21
votes
Accepted
Two strengthenings of "strong measure zero"
Strategically strong measure zero is equivalent to countable. To prove the nontrivial direction, suppose $X$ is strategically strong measure zero and $s$ is a winning strategy for player II. Consider …
- 73.2k
3
votes
Accepted
Illfounded trees as "retract" of all trees
Suppose, toward a contradiction, that $R$ is a function of the sort you asked about. Then, for any tree $T$, we have the equivalence "$T$ has an infinite path $\iff$ every infinite path through $R(T) …
- 73.2k
4
votes
Limits of determinacy on reals
The statement that every subset of $\mathbb R^\omega$ is determined is called $AD_{\mathbb R}$, and it's consistent relative to large cardinals. I don't remember exactly how large, but I vaguely reca …
- 73.2k
17
votes
Accepted
Does there exist an uncountable separable metric space $X$ such that every subset of $X$ is ...
Under Martin's Axiom plus the negation of CH, every set $X$ of reals of size $<\mathfrak c$ is a Q-set, which means that every subset of $X$ is an $F_\sigma$-set with respect to the subspace topology …
- 73.2k
31
votes
About the axiom of choice, the fundamental theorem of algebra, and real numbers
The fundamental theorem of algebra is, unless I miscounted quantifiers, a $\Pi^1_2$ sentence of second-order arithmetic and therefore absolute between the full universe and Gödel's constructible unive …
- 73.2k
14
votes
Accepted
Indeterminacy of long games
Your statement of AD is incorrect. $X$ should be at most $\omega$ (and at least 2), not an arbitrary set. Specifically, for $X=\aleph_1$, determinacy of games in $X^\omega$ is inconsistent with ZF. …
- 73.2k