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 ...

learn more… | top users | synonyms

8
votes
2answers
958 views

Wanted: chain of nowhere dense subsets of the real line whose union is nonmeagre, or even contains intervals

Let $X$ be a topological space. When I call a set nowhere dense, meagre or similar without qualification, I mean that it has this property as a subset of $X$. Call a subset of $X$ weager (for weakly ...
3
votes
1answer
464 views

Question about John Steel's “The derived model theorem”

In John Steel's paper "The derived model theorem", http://math.berkeley.edu/~steel/papers/dm.ps John Steel asserts that it is clear that $\mathrm{Hom}^{Y}_{\kappa}$ is closed downward under ...
0
votes
1answer
186 views

The projection of a weakly homogeneous tree is determined

Where can I read a proof of this?
3
votes
1answer
342 views

Question about Woodin's paper “On the consistency strength of projective uniformization”

In the paper "On the consistency strength of projective uniformization" Woodin proves a lemma "Assume $M$ is a model of ZFC that is $\Sigma^{1}_{3}$-absolute. Then $M\vDash\forall ...
2
votes
1answer
350 views

Descriptive complexity of Hamel bases of R^ω

(base theory = ZFC) Are any Hamel bases for the vector space $\mathbb{R}^{\omega}$ in the 1. analytical hierarchy?2. projective hierarchy? In any of the above cases where the answer is not simply ...
3
votes
1answer
243 views

Related Open Game in Analytic Determinacy

For this question, please refer to Chapter 33 page 638, Set Theory Millennium Edition, by Thomas Jech. The proof of analytic games $G_A$ is converted into an open game $G^\ast$ on some suitable ...
34
votes
4answers
8k views

Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...
4
votes
3answers
508 views

disjoint translates of a dense uncountable set

If {c(n)} is an arbitrary sequence of irrational numbers converging to 0 then Q + c(n), the set obtained by adding c(n) to the set of rational numbers Q, is clearly disjoint from Q for each n. Is ...
6
votes
1answer
357 views

A subset of Baire space Wadge incomparable to a Borel set?

Let $\omega^\omega$ be Baire space. If $A,B\subseteq\omega^\omega$ we say that $A$ is Wadge reducible to $B$ (written $A\leq_w B$) if there is a continuous function ...