Sandra Müller

most citedThe Axiom of Determinacy Implies Dependent Choices in Mice

1 citations · 1 across the 2 of their papers we have counts for

collaborators

4 papers

math.LO2019

Structural Properties of the Stable Core

Sy-David Friedman, Victoria Gitman, Sandra Müller

The stable core, an inner model of the form $⟨ L [S], \in, S ⟩$ for a simply definable predicate $S$ , was introduced by the first author in [Fri12], where he showed that $…

math.LO2019★ 1 cited

The Axiom of Determinacy Implies Dependent Choices in Mice

Sandra Müller

We show that the Axiom of Dependent Choices, $DC$ , holds in countably iterable, passive premice $M$ construced over their reals which satisfy the Axiom of…

math.LO2019

The consistency strength of long projective determinacy

Juan P. Aguilera, Sandra Müller

We determine the consistency strength of determinacy for projective games of length $ω^{2}$ . Our main theorem is that $Π_{n + 1}^{1}$ -determinacy for games of length $ω^{2}$ imp…

math.LO2019

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Sandra Müller, Ralf Schindler, W. Hugh Woodin

We prove the following result which is due to the third author. Let $n \geq 1$ . If $Π_{n}^{1}$ determinacy and $Π_{n + 1}^{1}$ determinacy both hold true and there is no $\bolds…