David Schrittesser

I currently work at the Kurt Gödel Research Center at the University of Vienna (which was rated to be the second best logic institute in the world!) as a researcher (or postdoc) with Vera Fischer, supported by her START Prize. Before that, I worked in Ben Miller's FWF project titled Analytic Structures.

Previously I've been a postdoc associated to the DNRF Niels Bohr Professorship of Lars Hesselholt, and part of the non-commutative geometry group at the Department of Mathematical Sciences, University of Copenhagen, where I worked with Asger Törnquist and for a long time was supported by his DFF Sapere Aude grant.

My Erdös number is 11 (using binary notation).

Research Profile

My research is in mathematical logic; my primary interests are descriptive set theory, as well as forcing, definability, and inner models. I am also interested in non-standard analysis.



At times, the list of papers on my arxiv author's page may be more up-to-date than the list below (or the other way around; but it will probably always miss the first four items from this list).

  1. Sigma^1_3-absoluteness in forcing extensions. Master's thesis, University of Vienna, 2004 (adviser: Sy Friedman).
  2. Lightface Sigma^1_2-indescribable cardinals. Proc. Amer. Math. Soc. 135 (2007), pp. 1213–1222.
  3. Projective measure without projective Baire. PhD thesis, University of Vienna, 2010 (adviser: Sy Friedman).
  4. (joint with Sy Friedman and Ralf Schindler) Coding over core models, in: Infinity, Computability, and Metaphysics (Geschke et al., eds.), Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, College Publications, pp. 167–182.
  5. (joint with Sy Friedman) Projective measure without projective Baire. (2014) 142 pages. To appear December 2020 in Memoirs of the AMS.
  6. (joint with Asger Törnquist) Definable maximal discrete sets in forcing extensions. Math. Res. Lett. 25(5), 15911612, 2018.
  7. (joint with Asger Törnquist and Vera Fischer) A co-analytic Cohen-indestructible maximal cofinitary group. The Journal of Symbolic Logic, 82(2), 627–641.
  8. Definable discrete sets with large continuum. (2016) 26 pages.
  9. On Horowitz and Shelah's maximal eventually different family. RIMS Kyôkyûroku No. 2042, 99–105.
  10. Compactness of maximal eventually different families. (2017) 9 pages. Bull. London Math. Soc. 50 (2018) 340–348.
  11. (joint with Karen Bakke Haga and Asger Törnquist) Maximal almost disjoint families, determinacy, and forcing. (2018) 40 pages.
  12. (joint with Vera Fischer) A co-analytic Sacks indestructible maximally eventually different family. Fundamenta Mathematicae, 23 pages.
  13. (joint with Sandra Müller, Philipp Schlicht, and Thilo Weinert) Lebesgue's density theorem and definable selectors for ideals. (2018) 28 pages.
  14. (joint with Vera Fischer, Sy Friedman, and Asger Törnquist) Good projective witnesses. (April 2019) 21 pages.
  15. (joint with Asger Törnquist) The Ramsey property implies no mad families. Proceedings of the National Academy of Sciences, 10 pages.
  16. (joint with Raphaël Carroy, Benjamin Miller, and Zoltán Vidnyánsky) Minimal definable graphs of definable chromatic number at least three. (June 2019) 24 pages.
  17. (joint with Vera Fischer and Thilo Weinert) Definable MAD families and forcing axioms. (December 2019) 13 pages. To appear in Annals of Pure and Applied Logic.
  18. (joint with Asger Törnquist) The Ramsey property and higher dimensional mad families. (March 2020) 29 pages.
  19. Maximal discrete sets. To appear in RIMS Kokyuroku. (June 2020) 21 pages.
  20. (joint with Robert M. Anderson, Haosui Duanmu, and William Weiss) Loeb extension and Loeb equivalence. (July 2020) 10 pages.

Upcoming and past talks and travel

Young Set Theory 2016

A while ago, the famous Young Set Theory Workshop put up its tent in Copenhagen, organized by Karen Bakke Haga, Vibeke Quorning, Asger Törnquist, and me. We acknowledge generous support from the DNRF Niels Bohr Professorship of Lars Hesselholt and from the University of Copenhagen.



email: david.schrittesser "at" univie.ac.at