David Schrittesser

I currently hold the position of Professor at the Institute for Advanced Studies in Mathematics at Harbin Institute of Technology.

Before that, I was Research Associate in statistics and mathematics at the University of Toronto. During my time there I was also main organizer of the Set Theory Seminar at the Fields Institute.

News

• Starting July 22 2024, I will be giving a one week course at Nankai University in Tianjin, as part of the Nankai Logic Summer School.
• In spring 2025, I will be teaching an introductory set theory course at HIT.

Research Profile

My research is in mathematical logic; my primary interests are descriptive set theory, as well as infinite combinatorics, forcing, definability, and inner models. I am also interested in non-standard analysis and its applications, especially in probability theory and statistical decision theory.

Students

• Severin Mejak, PhD thesis, title: Definability of maximal discrete sets. I co-advised Severin with Asger Törnquist. Severin defended in February 2023. The part of the thesis I supervised is now a joint article called ‘Definability of maximal cofinitary groups’ (see below).
• Karen Bakke Haga, PhD thesis, title: Maximal almost disjoint families, determinacy, and forcing. Karen defended on June 3, 2019. I co-advised her with Asger Törnquist.
• Dan Saattrup Nielsen, master thesis, title: Inner model theory. An introduction.
• I also advised bachelor projects by Magnus Baunsgaard Kristensen, Fraser Binns, and (co-advised) Dan Saattrup Nielsen (he wrote a thesis about Gödel's constructible universe).

Publications

All my mathematical publications are freely available at my arxiv author's page. The list below is currently slightly out of date, but in addition to my articles at arxiv (which are completely up-to-date) contains my master's and doctoral theses as well as an article about teaching mathematics which I wrote as part of a pedadogy course at University of Copenhagen (Item 11 below).

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. Memoirs of the American Mathematical Society 267 (2020), no. 1298, v+150 pp..
6. (joint with Asger Törnquist) Definable maximal discrete sets in forcing extensions. Math. Res. Lett. 25(5), 1591–1612, 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) Bull. London Math. Soc. 50 (2018) 340–348.
11. Research-led teaching in higher mathematics. In: Improving University Science Teaching and Learning—Pedagogical Projects 2019. Department of Science Education, University of Copenhagen.
12. (joint with Karen Bakke Haga and Asger Törnquist) Maximal almost disjoint families, determinacy, and forcing. Journal of Mathematical Logic. 40 pages.
13. (joint with Vera Fischer) A Sacks indestructible co-analytic maximal eventually different family. Fundamenta Mathematicae, 23 pages.
14. (joint with Sandra Müller, Philipp Schlicht, and Thilo Weinert) Lebesgue's density theorem and definable selectors for ideals. (2018) 28 pages. Israel Journal of Mathematics.
15. (joint with Vera Fischer, Sy Friedman, and Asger Törnquist) Good projective witnesses. (2019) 21 pages.
16. (joint with Asger Törnquist) The Ramsey property implies no mad families. Proceedings of the National Academy of Sciences, 10 pages.
17. (joint with Raphaël Carroy, Benjamin Miller, and Zoltán Vidnyánsky) Minimal definable graphs of definable chromatic number at least three. Forum Math. Sigma 9 (2021), Paper No. e7.
18. (joint with Vera Fischer and Thilo Weinert) Definable MAD families and forcing axioms. (2019) 13 pages. Annals of Pure and Applied Logic, 172 (5).
19. (joint with Asger Törnquist) The Ramsey property and higher dimensional mad families. (2018) 29 pages.
20. Maximal discrete sets. RIMS Kôkyûroku No. 2164, pp. 64–84.
21. (joint with Robert M. Anderson, Haosui Duanmu, and William Weiss) Loeb extension and Loeb equivalence . Proceedings of the American Mathematical Society, Series B, Volume 8, Issue 10, 112–120.
22. Constructing maximal cofinitary groups . (2021) 30 pages. Nagoya Mathematical Journal. 30 pages.
23. (joint with Haosui Duanmu and Daniel M. Roy) Admissibility is Bayes optimality with infinitesimals. 17 pages.
24. (joint with Haosui Duanmu and William Weiss) Loeb extension and Loeb equivalence II. Fundamenta Mathematicae. 13 pages.
25. (joint with Severin Mejak) Definability of maximal cofinitary groups. 23 pages.
26. (joint with Haosui Duanmu and Daniel M. Roy) Statistical minimax theorems via nonstandard analysis 22 pages.

Past talks and travel

• March, April, and May 2023: Sichuan University Logic Workshop; Logic Seminar at the Chinese Academy of Science, Beijing; Nankai University; Logic Workshop Wuhan University; Chinese National Congress of Mathematics, Wuhan.
• 2021: Novi Sad Conference in Set theory and General Topology (SETTOP), Serbia.
• September/November 2021: DMV-ÖMG (Austrian and German Mathematical Society) joint annual conference, University of Passau, virtual conference
• June 19 2020: Set Theory Seminar at the Fields Institute, Toronto, Canada (online seminar).
• January 2020: Visiting Philip Welch at University of Bristol.
• November 2019: RIMS Workshop, Kyoto; and visiting Jörg Brendle at Kobe University, Japan.
• June 5–7, 2019: Visiting University of Copenhagen.
• May 14: UniversitéParis Diderot.
• February 15, 2019: logic seminar talk at the Fields Institute, University of Toronto.
• February 5, 2019: logic seminar talk at McGill University.
• February 2019: visiting Marcin Sabok at McGill University, Canada.
• January 2019: Arctic Set Theory 4, Kilpisjärvi, Finland.
• October 5, 2018: Set Theory Seminar talk at City Universtity New York, USA.
• October 2, 2018: Logic seminar talk at McGill University, Canada.
• August 2018: KNAW Academy Colloquium Generalized Baire space, Amsterdam, The Netherlands.
• June 2018: Descriptive Set Theory Conference, Lausanne, Switzerland.
• June 2018: 11th Young Set Theory Workshop, Lausanne Switzerland.
• Februar 2018: Visiting Asger Törnquist and Karen Bakke Haga at University of Copenhagen.
• 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.

Events I have helped organize

On World Logic Day, January 14th 2022, we had a series of talks at the Toronto Set Theory Seminar at Fields Institute.

A long time 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.

A few Slides from long ago

• 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.