Ralf Schindler

Orcid: 0000-0003-0174-8048

Affiliations:
  • University of Münster, Department of Mathematics and Computer Science


According to our database1, Ralf Schindler authored at least 45 papers between 1994 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
When is a real generic over L?
Math. Log. Q., 2022

The Consistency strength of the Perfect Set Property for Universally Baire Sets of Reals.
J. Symb. Log., 2022

2021
Tall Cardinals in Extender Models.
Notre Dame J. Formal Log., 2021

2020
Inner-Model Reflection Principles.
Stud Logica, 2020

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.
J. Math. Log., 2020

2018
Varsovian Models I.
J. Symb. Log., 2018

The Solidity and Nonsolidity of initial Segments of the Core Model.
J. Symb. Log., 2018

Virtual large cardinals.
Ann. Pure Appl. Log., 2018

The long extender algebra.
Arch. Math. Log., 2018

Preface.
Arch. Math. Log., 2018

2017
Square with Built-in Diamond-plus.
J. Symb. Log., 2017

Σ1(κ)-DEFINABLE SUBSETS OF H(κ +).
J. Symb. Log., 2017

Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom.
Arch. Math. Log., 2017

2016
Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure.
Notre Dame J. Formal Log., 2016

Inner Model Theoretic Geology.
J. Symb. Log., 2016

2015
Harrington's Principle in Higher order Arithmetic.
J. Symb. Log., 2015

2014
Bounded Martin's Maximum with an Asterisk.
Notre Dame J. Formal Log., 2014

2012
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁.
J. Symb. Log., 2012

2011
Thin equivalence relations in scaled pointclasses.
Math. Log. Q., 2011

2010
A criterion for coarse iterability.
Arch. Math. Log., 2010

2009
The self-iterability of L[E].
J. Symb. Log., 2009

Stacking mice.
J. Symb. Log., 2009

Increasing u<sub>2</sub> by a stationary set preserving forcing.
J. Symb. Log., 2009

The strength of choiceless patterns of singular and weakly compact cardinals.
Ann. Pure Appl. Log., 2009

2006
Core models in the presence of Woodin cardinals.
J. Symb. Log., 2006

Iterates of the core model.
J. Symb. Log., 2006

Homogeneously Souslin sets in small inner models.
Arch. Math. Log., 2006

Projective Well-orderings of the Reals.
Arch. Math. Log., 2006

2005
P != NP cap co-NP for Infinite Time Turing Machines.
J. Log. Comput., 2005

A new condensation principle.
Arch. Math. Log., 2005

2004
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.
Math. Log. Q., 2004

A universal extender model without large cardinals in <i>V</i>.
J. Symb. Log., 2004

2003
Universally Baire sets and definable well-orderings of the reals.
J. Symb. Log., 2003

2002
Deconstructing Inner Model Theory.
J. Symb. Log., 2002

The core model for almost linear iterations.
Ann. Pure Appl. Log., 2002

2001
Proper Forcing and Remarkable Cardinals II.
J. Symb. Log., 2001

The Consistency Strength of Successive Cardinals with The Tree Property.
J. Symb. Log., 2001

Forcing axioms and projective sets of reals.
Proceedings of the Classical and New Paradigms of Computation and their Complexity Hierarchies, 2001

2000
Proper forcing and remarkable cardinals.
Bull. Symb. Log., 2000

Projective Uniformization Revisited.
Ann. Pure Appl. Log., 2000

1999
Strong Cardinals and Sets of Reals in <i>L</i><sub>ω<sub>1</sub></sub>(ℝ).
Math. Log. Q., 1999

Successive Weakly Compact or Singular Cardinals.
J. Symb. Log., 1999

Weak covering and the tree property.
Arch. Math. Log., 1999

1997
Weak Covering at Large Cardinals.
Math. Log. Q., 1997

1994
A Dilemma in the Philosophy of Set Theory.
Notre Dame J. Formal Log., 1994


  Loading...