I currently work at the Kurt Gödel Research Center at the University of Vienna
(which was recently rated to be the second best logic institute in the world!)
as a researcher (or postdoc) in
Ben Miller's
FWF project titled *Analytic Structures*.

I was until recently 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.

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

My research is in set theory; my primary interests are forcing and descriptive set theory.

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

- Sigma^1_3-absoluteness in forcing extensions. Master's thesis, University of Vienna, 2004 (adviser: Sy Friedman).
- Lightface Sigma^1_2-indescribable cardinals. Proc. Amer. Math. Soc. 135 (2007), pp. 1213–1222.
- Projective measure without projective Baire. PhD thesis, University of Vienna, 2010 (adviser: Sy Friedman).
- (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.
- (joint with Sy Friedman) Projective measure without projective Baire.
(2014) 142 pages. To appear in
*Memoirs of the AMS*. - (joint with Asger
Törnquist) Definable
maximal discrete sets in forcing extensions. (2015) 16 pages. To appear in
*Mathematical Research Letters*. - (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.
- Definable discrete sets with large continuum. 26 pages. (2016)
- On Horowitz and Shelah's maximal eventually different family (2017) 6 pages. To appear in the RIMS Conference Proceedings.
- Compactness of maximal eventually different families. (2017) 9 pages. To appear in
*Bulletin of the London Mathematical Society*.

- (joint with Philipp Schlicht, Thilo Weinert and Sandra Uhlenbrock) Variations of the Lebesgue density theorem.
- Infinite combinatorics, definability and forcing.
- (joint with Karen Bakke Haga and Asger Törnquist) On mad families (working title).

- September 2017: Descriptive Set Theory in Turin, Torino, Italy.
- August 2017: Logic Colloquium, Stockholm, Sweden.
- July 2017: European Set Theory Conference, Budapest, Hungary.
- January 2017: Arctic Set Theory 3, Kilpisjärvi, Finland.
- November 2016: RIMS Workshop on Infinite Combinatorics and Forcing, Kyoto, Japan.
- August 2016: Invited talk at Logic Colloquium 2016 (special session: set theory), Leeds, UK.
- June 2016: SETTOP, Novi Sad, Serbia.

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.

- If you are not a set theorist, maybe you will enjoy these slides; I made them with a general mathematical audience in mind, for a talk in the descriptive set theory seminar in Copenhagen on January 9th 2014.
- Here are some slides for my talk at the 4th European Set Theory Conference in Barcelona, in July 2013.

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