Source author record

Ralf Schindler

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.AC

Catalog footprint

Research overview

5works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The transcendence degree of the reals over certain set-theoretical subfields

It is a well-known result that, after adding one Cohen real, the transcendence degree of the reals over the ground-model reals is continuum. We extend this result for a set $X$ of finitely many Cohen reals, by showing that, in the forcing extension, the transcendence degree of the reals over a combination of the reals in the extension given by each proper subset of $X$ is also maximal. This answers a question of Kanovei and Schindler.

preprint2018arXiv

Inner-model reflection principles

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement $φ(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$ , then it is also true in a proper inner model $W\subsetneq V$ . A stronger principle, the ground-model reflection principle, asserts that any such $φ(a)$ true in $V$ is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width reflection in contrast to the usual height reflection of the Lévy-Montague reflection theorem. They are each equiconsistent with ZFC and indeed $Π_2$ -conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles.

preprint2002arXiv

Pcf theory and Woodin cardinals

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all bounded X subset aleph_{|alpha|^+}, M_n^#(X) exists. Theorem B: Let kappa be a singular cardinal of uncountable cofinality. If {alpha<kappa| 2^alpha=alpha^+} is stationary as well as co-stationary then for all n< omega and for all bounded X subset kappa, M_n^#(X) exists. Theorem A answers a question of Gitik and Mitchell, and Theorem B yields a lower bound for an assertion discussed in Gitik, M., Introduction to Prikry type forcing notions, in: Handbook of set theory, Foreman, Kanamori, Magidor (see Problem 4 there). The proofs of these theorems combine pcf theory with core model theory. Along the way we establish some ZFC results in cardinal arithmetic, motivated by Silver's theorem and we obtain results of core model theory, motivated by the task of building a ``stable core model.'' Both sets of results are of independent interest.

preprint1997arXiv

The consistency strength of projective uniformization, revisited

It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{ω_1} \models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel.

preprint1997arXiv

Weak covering and the tree property

Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if δhas the tree property then δ^{+K} = δ^+ and δis weakly compact in K.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.