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 math.LOShow all

33 papers · 1 filter

math.LO2022★ 2 cited

Coding over Core Models

Sy David Friedman, Ralf Schindler, David Schrittesser

Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this articl…

math.LO2022★ 2 cited

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_{1}$

Stefan Hoffelner, Paul Larson, Ralf Schindler +1

We show that under $\BMM$ and "there exists a Woodin cardinal $"$ , the nonstationary ideal on $ω_{1}$ can not be defined by a $Σ_{1}$ formula with parameter $A \subset ω_{1}$ . We show tha…

math.LO2021★ 1 cited

Varsovian models II

Grigor Sargsyan, Ralf Schindler, Farmer Schlutzenberg

Assume the existence of sufficent large cardinals. Let $M_{sw n}$ be the minimal iterable proper class $L [E]$ model satisfying "there are $δ_{0} < κ_{0} < \dots < δ_{n - 1} < κ_{n - 1}$ s…

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…