Ralf Schindler

发表

Σ1(κ)-DEFINABLE SUBSETS OF H(κ +)

Philipp Schlicht, Philipp Lücke, Ralf Schindler, 2017, J. Symb. Log..

Deconstructing Inner Model Theory

Ralf Schindler, John R. Steel, Martin Zeman, 2002, J. Symb. Log..

The Consistency Strength of Successive Cardinals with The Tree Property

Ralf Schindler, Matthew Foreman, Menachem Magidor, 2001, J. Symb. Log..

Weak Covering at Large Cardinals

Ralf Schindler, 1997, Math. Log. Q..

Core models in the presence of Woodin cardinals

Ralf Schindler, 2006, J. Symb. Log..

Successive Weakly Compact or Singular Cardinals

Ralf Schindler, 1999, J. Symb. Log..

The self-iterability of L[E]

Ralf Schindler, John R. Steel, 2009, J. Symb. Log..

The core model for almost linear iterations

Ralf Schindler, 2002, Ann. Pure Appl. Log..

P != NP cap co-NP for Infinite Time Turing Machines

Joel David Hamkins, Vinay Deolalikar, Ralf Schindler, 2005, J. Log. Comput..

Inner Model Theoretic Geology

Ralf Schindler, Gunter Fuchs, 2016, J. Symb. Log..

Iterates of the core model

Ralf Schindler, 2006, J. Symb. Log..

The strength of choiceless patterns of singular and weakly compact cardinals

Ralf Schindler, Daniel Busche, 2009, Ann. Pure Appl. Log..

Increasing u2 by a stationary set preserving forcing

Ralf Schindler, Benjamin Claverie, 2009, J. Symb. Log..

Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure

Ralf Schindler, Thomas Hofweber, 2016, Notre Dame J. Formal Log..

A universal extender model without large cardinals in V

William J. Mitchell, Ralf Schindler, 2004, J. Symb. Log..

Inner-Model Reflection Principles

Joel David Hamkins, Ralf Schindler, Neil Barton, 2017, Stud Logica.

A new condensation principle

Ralf Schindler, Thoralf Räsch, R. Schindler, 2005, Arch. Math. Log..

Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom

Ralf Schindler, Joan Bagaria, Victoria Gitman, 2017, Arch. Math. Log..

Proper Forcing and Remarkable Cardinals II

Ralf Schindler, 2001, J. Symb. Log..

Stacking mice

Ralf Schindler, Ernest Schimmerling, John R. Steel, 2009, The Journal of Symbolic Logic.

The long extender algebra

Ralf Schindler, 2018, Arch. Math. Log..

Projective Uniformization Revisited

Ralf Schindler, Kai Hauser, R. Schindler, 2000, Ann. Pure Appl. Log..

Universally Baire sets and definable well-orderings of the reals

Ralf Schindler, Sy-David Friedman, 2003, J. Symb. Log..

Varsovian Models I

Ralf Schindler, Grigor Sargsyan, 2018, J. Symb. Log..

Thin equivalence relations in scaled pointclasses

Philipp Schlicht, Ralf Schindler, 2011, Math. Log. Q..

Bounded Martin's Maximum with an Asterisk

Ralf Schindler, David Asperó, 2014, Notre Dame J. Formal Log..

Projective Well-orderings of the Reals

Ralf Schindler, Andrés Eduardo Caicedo, 2006, Arch. Math. Log..

Virtual large cardinals

Ralf Schindler, Victoria Gitman, 2018, Ann. Pure Appl. Log..

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁

Ralf Schindler, Benjamin Claverie, 2012, J. Symb. Log..

Proper forcing and remarkable cardinals

Ralf Schindler, 2000, Bull. Symb. Log..

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Ralf Schindler, W. Hugh Woodin, Sandra Müller, 2020, J. Math. Log..

A Dilemma in the Philosophy of Set Theory

Ralf Schindler, 1994, Notre Dame J. Formal Log..

Harrington's Principle in Higher order Arithmetic

Yong Cheng, Ralf Schindler, 2015, J. Symb. Log..

Weak covering and the tree property

Ralf Schindler, 1999, Arch. Math. Log..

MUTUAL STATIONARITY IN THE CORE MODEL

Ralf Schindler, Matthias Baaz, Sy-David Friedman, 2005 .

A criterion for coarse iterability

Ralf Schindler, Gunter Fuchs, Itay Neeman, 2010, Arch. Math. Log..

The Solidity and Nonsolidity of initial Segments of the Core Model

Ralf Schindler, Gunter Fuchs, 2018, J. Symb. Log..

Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum

Ralf Schindler, 2004, Math. Log. Q..

Square with Built-in Diamond-plus

Ralf Schindler, Assaf Rinot, 2017, J. Symb. Log..

Forcing axioms and projective sets of reals

Ralf Schindler, R. Schindler, 2001, FotFS.

Homogeneously Souslin sets in small inner models

Ralf Schindler, Peter Koepke, 2006, Arch. Math. Log..

Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$

Ralf Schindler, Vladimir Kanovei, 2021 .

Tall Cardinals in Extender Models

Ralf Schindler, Gabriel Fernandes, 2021, Notre Dame Journal of Formal Logic.

When is a real generic over L ?

Ralf Schindler, Fabiana Castiblanco, 2021, Mathematical Logic Quarterly.

Varsovian models II

Ralf Schindler, Grigor Sargsyan, Farmer Schlutzenberg, 2021 .

Remarkable cardinals

Ralf Schindler, 2014 .

Set Theory: Exploring Independence and Truth

Ralf Schindler, 2014 .

Coding into K by reasonable forcing

Ralf Schindler, 1997 .

P≠NP for Infinite Time Turing Machines

Ralf Schindler, R. Schindler, 2003 .

Ways of Proof Theory

Ralf Schindler, R. Schindler, 2010 .

L O ] 2 M ay 2 00 3 Bounded Martin ’ s Maximum is stronger than the Bounded Semi-proper Forcing Axiom

Ralf Schindler, 2003 .

The core model induction

Ralf Schindler, John R. Steel, 2007 .