7 citations · 8 across the 6 of their papers we have counts for
8 papers
Gödel's Program in Set Theory
Sandra Müller, Grigor Sargsyan
Gödel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he…
HOD in inner models with Woodin cardinals
Sandra Müller, Grigor Sargsyan
We analyze the hereditarily ordinal definable sets in for a Turing cone of reals , where is the canonical inner model with Woodin c…
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…