**14**

votes

**3**answers

1k views

### Parts of Set Theory immune to independence

The motivation for asking this question is a passage (3.2) in an article by Greg Hjorth where he said that "...it is also an attractive feature of the theory of Borel cardinalities and of the theory ...

**8**

votes

**2**answers

963 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

**1**answer

465 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

**1**answer

186 views

**3**

votes

**1**answer

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

**1**answer

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

**1**answer

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

**4**answers

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

**3**answers

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

**1**answer

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