Sandra Müller

activity

20182020

most citedThe Axiom of Determinacy Implies Dependent Choices in Mice

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

collaborators

Showing math.LOShow all

6 papers · 1 filter

math.LO2020

HOD in inner models with Woodin cardinals

Sandra Müller, Grigor Sargsyan

We analyze the hereditarily ordinal definable sets $HOD$ in $M_{n} (x) [g]$ for a Turing cone of reals $x$ , where $M_{n} (x)$ is the canonical inner model with $n$ Woodin c…

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

Infinite decreasing chains in the Mitchell order

Omer Ben-Neria, Sandra Müller

It is known that the behavior of the Mitchell order substantially changes at the level of rank-to-rank extenders, as it ceases to be well-founded. While the possible partial order…

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…