R. Schindler

activity

19972022

most citedSquare principles in Pmax extensions

26 citations · 58 across the 31 of their papers we have counts for

collaborators

Showing 2019 · math.LOShow all

4 papers · 2 filters

math.LO2019★ 1 cited

$MM^{++}$ implies $(*)$

David Asperó, Ralf Schindler

We show that Martin's Maximum $^{++}$ implies Woodin's $P_{max}$ axiom $(*)$ . This answers a question from the 1990's and amalgamates two prominent axioms of set the…

math.LO2019

Tall cardinals in extender models

Gabriel Fernandes, Ralf Schindler

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $λ$ -tall cardinals in extender models that are iterable. In particular we prove that i…

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…

math.LO2019

Definable Hamel bases and $A C_{ω} (R)$

Vladimir Kanovei, Ralf Schindler

There is a model of ZF with a $Δ_{3}^{1}$ definable Hamel basis in which $A C_{ω} (R)$ fails.

MM++ implies (∗)

Tall cardinals in extender models

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Definable Hamel bases and ACω​(R)

$MM^{++}$ implies $(*)$

Definable Hamel bases and $A C_{ω} (R)$