7 citations · 8 across the 6 of their papers we have counts for
5 papers · 1 filter
Structural Properties of the Stable Core
Sy-David Friedman, Victoria Gitman, Sandra Müller
The stable core, an inner model of the form for a simply definable predicate , was introduced by the first author in [Fri12], where he showed that $…
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…
The Axiom of Determinacy Implies Dependent Choices in Mice
Sandra Müller
We show that the Axiom of Dependent Choices, , holds in countably iterable, passive premice construced over their reals which satisfy the Axiom of…
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 . Our main theorem is that -determinacy for games of length imp…
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 . If determinacy and determinacy both hold true and there is no $\bolds…