# Tagged Questions

**10**

votes

**1**answer

421 views

### Does Turing determinacy imply full determinacy?

The axiom of Turing determinacy is a weakening of the full axiom of determinacy, $AD$, in which only games with payoff sets which are $\equiv_T$-invariant are demanded to be determined.
In "Turing ...

**4**

votes

**0**answers

173 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...

**5**

votes

**1**answer

200 views

### $\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me.
...

**5**

votes

**0**answers

113 views

### A result of Steel on characterizing lightface pointclasses

In the article Projectively wellordered inner models, Steel proves the following theorem (4.12):
Theorem: Let $n < \omega$ and suppose $\mathcal{M}_n^{\sharp}$ exists. Let ...

**10**

votes

**0**answers

201 views

### Absoluteness of “$\kappa$-homogeneously Suslin” for sets of reals

What is known about the absoluteness, or lack thereof, of the notion of "$\kappa$-homogeneously Suslin" for sets of reals?
For example, if $A$ is $\kappa$-homogeneously Suslin and $\lambda > ...

**10**

votes

**1**answer

242 views

### Consistency strength of projective determinacy (PD)

Let PD stand for projective determinacy, and consider the two claims:
(1) For each n=1,2,..., Con(ZFC+PD) implies Con(ZFC + there are n Woodin cardinals)
(2) Con(ZFC+PD) implies Con(ZFC + there are ...

**4**

votes

**1**answer

293 views

### Models of Determinacy

Today we have that $L(\mathbb{R}) \models AD$ (assuming there are $\omega$ many Woodin cardinals and a measurable above them all). I was wondering what other models of $AD$ might look like and if it ...

**6**

votes

**1**answer

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

**14**

votes

**2**answers

989 views

### Why does inner model theory needs so much descriptive set theory (and vice versa)?

I am curious about how much descriptive set theory is involved in inner model theory.
For instance Shoenfield's absoluteness result is based on the construction of the Shoenfield tree which ...

**10**

votes

**1**answer

356 views

### Consistency strengths related to the perfect set property

I want a model of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ in which every set of reals in $L(\mathbb{R})$ has the perfect set property. In terms of consistency strength, it is known ...

**3**

votes

**1**answer

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