logicdavid.github.io/index.html at main · logicdavid/logicdavid.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>David Schrittesser's mathematical homepage</title>
<meta name="description" content="Research, teaching, and talks about logic, mathematics, and statistics by David Schrittesser">
<meta name="keywords" content="mathematical logic, set theory, mathematics, statistics">
<meta name="author" content="David Schrittesser">
<style>
body {
  font-family: sans-serif;
  font-size:larger;
  line-height: 1.2;
  background: skyblue;
  background: linear-gradient(white, skyblue);
  margin: 5em 5em 5em 3em;
}
section {
  padding: .3em;
}
li {
    margin-right: .5em;
    margin-left: .5em
}
li:not(:last-child) {
    margin-bottom: .2em;
}

</style>
</head>
<body>
<main>
<img src="1208-fotocred-Martina-Lajczak-DSC1584.jpg" style="float:right; border:5px solid white" height="250" width="158" alt="Portrait of David, fotocredit Martina Lajczak">

<h1>David Schrittesser</h1>

<section>
  <p> I am Professor at the
    <a href="http://im.hit.edu.cn/en/">Institute for Advanced Studies in Mathematics</a> at
    <a href="http://www.hit.edu.cn/">Harbin Institute of Technology</a>.
  </p>
  <p>Earlier academic positions include <a href="https://www.utsc.utoronto.ca/cms/david-schrittesser">Research Associate</a> in statistics and mathematics at the <a href="https://www.utoronto.ca/">University of Toronto</a>, where I was also main organizer of the  <a href="http://www.fields.utoronto.ca/activities/21-22/set-theory-seminar">Set Theory Seminar at the Fields Institute</a>.
  I was also once Hausdorff postdoc at the University of Bonn, Germany.</p>
   </p>
</section>

<section>
<h2>Teaching</h2>
<p>
  <ul>
    <li> I teach the topology course (point-set topology and beginnings of algebraic topology) every winter semester.
       I plan to make my lecture notes available here soon.
    </li>
    <li>
      In 2024, I taught a course about forcing and descriptive set theory at the Tianjin Summer School in Logic.
    </li>
</ul>
</p>
</section>


<section>
<h2>Research Profile</h2>
<p> My research is in
mathematical logic; my primary interests are descriptive set theory, infinite combinatorics, forcing, definability, and inner models.
I am also interested in non-standard analysis and its applications, especially in stochastics, statistical decision theory, and game theory.
I have also collaborated in the digital humanities.
</p>
</section>
<section>
<h2>Students</h2>

<p>Currenly, I am advising PhD students Siqi Liu and Xinyu Liu, the latter of which I am co-advising with Kevin Duanmu.
  The students whose theses I previously advised were:
</p>
<ul>
<li> Severin Mejak, PhD thesis, title: Definability of maximal discrete sets. I co-advised Severin with Asger T&ouml;rnquist. Severin defended in February 2023. The part of the thesis I supervised is now a joint article called &lsquo;Definability of maximal cofinitary groups&rsquo; (see below).
</li>
<li> 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&ouml;rnquist. </li>
</li>
<li> <a href="http://dsnielsen.com/">Dan Saattrup Nielsen</a>, master thesis, title: <a href="https://github.com/saattrupdan/MSc-thesis">Inner model theory. An introduction</a>.
</li>
<li> I also advised bachelor projects by Magnus Baunsgaard Kristensen, Fraser Binns, and (co-advised) Dan Saattrup Nielsen (he wrote a <a href="http://github.com/saattrupdan/BSc-thesis">thesis about G&ouml;del's constructible universe</a>).
</li>
</ul>

</section>
<section>
<h2>Publications and preprints</h2>
<p>
All my mathematical publications and preprints are openly accessible at my  <a href="https://arxiv.org/a/schrittesser_d_1.html">arxiv author's page<a>.
The list below also contains some work in progress and my master's and doctoral theses in addition to the articles posted at my arxiv author's page.
</p>

<ol reversed>

  <li>
    Loeb extension and Loeb equivalence III (with <a href="https://kevinduanmu.github.io/">Kevin Haosui Duanmu</a> and Xinyu Liu).
  </li>


<li>Generalized almost disjoint families and injective Banach spaces
  (with <a href="https://clambiehanson.github.io/">Chris Lambie-Hanson</a>).
</li>

<li>
    <a href="https://arxiv.org/abs/2510.21374">The happy coexistence of mad families and Laver measurability</a> (with <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
  </li>

<li>
<a href="https://arxiv.org/abs/2412.18987"> Maximal eventually diﬀerent families for uniformly weak Ramsey ideals</a>
(with Jialiang He, Jintao Luo, and Hang Zhang).

</li>

<li>
<a href="https://arxiv.org/abs/2403.04029">Two-Person adversarial games are zero-sum: An elaboration of a folk theorem</a>
(with M. Ali Khan and Arthur Paul Pedersen).
<a href="https://doi.org/10.1016/j.econlet.2024.111852"> Economics Letters 242 (2024) 111852.</a>
</li>

<li>
<a href="https://arxiv.org/abs/2312.16618">Cofinitary groups and projective well-orders</a>
(with <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a> and Lukas Schembecker).
<a href="https://doi.org/10.1016/j.apal.2025.103570">Annals of Pure and Applied Logic, Volume 176, Issue 6, June 2025, 103570.</a>
</li>

<li>
<a href="https://arxiv.org/abs/2312.16349">de Finetti’s theorem and the existence of regular conditional distributions and
strong laws on exchangeable algebras</a>
(with Peter Potaptchik and <a href="https://danroy.org/">Daniel M. Roy</a>).
</li>


<li>
  <a href="https://arxiv.org/abs/2212.13250">Statistical minimax theorems via nonstandard analysis</a>
  (with <a href="https://kevinduanmu.github.io/">Kevin Haosui Duanmu</a> and <a href="https://danroy.org/">Daniel M. Roy</a>).
</li>


<li>
  <a href="https://arxiv.org/abs/2212.05318">Definability of maximal cofinitary groups</a>
   (with Severin Mejak).
</li>


<li>
  <a href="https://arxiv.org/abs/2112.13955">Loeb extension and Loeb equivalence II</a>
  (with <a href="https://kevinduanmu.github.io/">Kevin Haosui Duanmu</a> and William Weiss).
  <a href="https://doi.org/10.4064/fm163-1-2023">Fundamenta Mathematicae</a>.
</li>


<li>
  <a href="https://arxiv.org/abs/2112.14257">Admissibility is Bayes optimality with infinitesimals</a>
  (with <a href="https://kevinduanmu.github.io/">Kevin Haosui Duanmu</a> and <a href="https://danroy.org/">Daniel M. Roy</a>).
</li>


<li>
<a href="https://arxiv.org/abs/2105.11318"> Constructing maximal cofinitary groups </a>.
<a href="https://doi.org/10.1017/nmj.2022.46">Nagoya Mathematical Journal</a>.
</li>


<li>
  <a href="https://arxiv.org/abs/2010.01842">Loeb extension and Loeb equivalence </a>
  (with <a href="https://eml.berkeley.edu/~anderson/">Robert M. Anderson</a>, <a href="https://kevinduanmu.github.io/">Kevin Haosui Duanmu</a>, and William Weiss).
  <a href="https://doi.org/10.1090/bproc/78"> Proceedings of the American Mathematical Society, Series B, Volume 8, Issue 10, 112–120</a>.
</li>


<li>
  <a href="https://arxiv.org/abs/2012.14638">Maximal discrete sets.</a>
  <a href="http://hdl.handle.net/2433/261451">RIMS Kôkyûroku No. 2164, pp. 64–84.</a>
</li>

<li>
<a href="https://arxiv.org/abs/2003.10944">The Ramsey property and higher dimensional mad families</a>
(with <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
</li>


<li>
  <a href="https://arxiv.org/abs/1912.12815">Definable MAD families and forcing axioms</a>
  (with <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a> and Thilo Weinert).
  <a href="https://doi.org/10.1016/j.apal.2020.102909">Annals of Pure and Applied Logic, 172 (5)</a>.
</li>


<li>
  <a href="https://arxiv.org/abs/1906.08373">Minimal definable graphs of definable chromatic number at least three</a>
  (with Rapha&euml;l Carroy, Benjamin Miller, and Zolt&aacute;n Vidny&aacute;nsky).
  <a href="https://doi.org/10.1017/fms.2020.58">Forum Math. Sigma 9 (2021), Paper No. e7.</a>
</li>


<li>
    <a href="https://arxiv.org/abs/1904.05824">The Ramsey property implies no mad families</a>
    (with <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
    <a href="https://doi.org/10.1073/pnas.1906183116">Proceedings of the National Academy of Sciences</a>.
</li>


<li>
    <a href="https://arxiv.org/abs/1904.05823">Good projective witnesses</a>
    (with <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a>,
  <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>,
  and <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
  <a href="https://doi.org/10.1016/j.apal.2025.103606">Annals of Pure and Applied Logic, Volume 176, Issue 8, August–September 2025, 103606.</a>
</li>


<li>
  <a href="https://arxiv.org/abs/1811.06489">Lebesgue's density theorem and definable selectors for ideals</a>
  (with Sandra M&uuml;ller, Philipp Schlicht, and Thilo Weinert).
  <a href="https://link.springer.com/article/10.1007/s11856-022-2312-8">Israel Journal of Mathematics</a>.
</li>


<li>
  <a href="https://arxiv.org/abs/1811.05574">A Sacks indestructible co-analytic maximal eventually different family</a>
  (with <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a>).
  <a href="https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/113412/a-sacks-indestructible-co-analytic-maximal-eventually-different-family"><i>Fundamenta Mathematicae</i></a>.
</li>


<li>
  <a href="https://arxiv.org/abs/1810.03016">Maximal almost disjoint families, determinacy, and forcing</a>
  (with Karen Bakke Haga and <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
  <a href="https://doi.org/10.1142/S0219061321500264">
Journal of Mathematical Logic. </a>
</li>


 <li><a href="https://arxiv.org/abs/1704.04751">Compactness of maximal eventually different families</a>.
  <a href="http://onlinelibrary.wiley.com/wol1/doi/10.1112/blms.12139/abstract">Bull. London Math. Soc. 50 (2018) 340&ndash;348</a>.
</li>


<li><a href="https://arxiv.org/abs/1703.01806">On Horowitz and Shelah's maximal eventually different family.</a>
  <a href="http://www.ipc.shizuoka.ac.jp/~styorio/rims16/">RIMS</a>
  <a href="http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2042.html">Ky&ocirc;ky&ucirc;roku No. 2042</a>, 99&ndash;105.
</li>

<li> <a href="https://arxiv.org/abs/1610.03331">Definable discrete sets with large continuum.</a>
</li>


<li>
  <a href="http://arxiv.org/abs/1603.02024">A co-analytic Cohen-indestructible maximal cofinitary group</a>
  (with <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>
  and <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a>).
  <a href="https://doi.org/10.1017/jsl.2017.5">The Journal of Symbolic Logic, 82(2), 627&ndash;641.</a>
</li>


 <li>
  <a href="http://arxiv.org/abs/1510.08781"> Definable maximal discrete sets in forcing extensions</a>
    (with <a href="http://www.math.ku.dk/%7Easgert/">Asger T&ouml;rnquist</a>).
    <a href="https://www.intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0025/0005/a011/">Math. Res. Lett. 25(5), 1591–1612, 2018</a>.
</li>


<li>
  <a href="http://arxiv.org/abs/1401.6808">Projective measure without projective Baire</a>
  (with <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>).
  <a href="https://doi.org/10.1090/memo/1298">Memoirs of the American Mathematical Society 267 (2020), no. 1298, v+150 pp.</a>.
</li>


<li>
  <a href="files/fri-schi-schr-coding-K.pdf">Coding over core models</a>
  (with <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>
  and  <a href="http://wwwmath.uni-muenster.de/u/rds/">Ralf Schindler</a>).
  <a href="http://www.collegepublications.co.uk/tributes/?00023">
    Infinity, Computability,
    and Metaphysics (Geschke et al., eds.), College Publications, pp. 167&ndash;182.
  </a>
</li>


<li> Projective measure without projective Baire. PhD thesis, University
of Vienna  (adviser: <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>).
</li>


<li>
<a href="http://www.ams.org/journals/proc/2007-135-04/S0002-9939-06-08571-6/S0002-9939-06-08571-6.pdf">Lightface Sigma^1_2-indescribable cardinals.</a>
<a href="https://doi.org/10.1090/S0002-9939-06-08571-6"></a>Proc. Amer. Math. Soc. 135, pp. 1213&ndash;1222.</a>
</li>

<li>
Sigma^1_3-absoluteness in forcing extensions. Master's thesis, University of Vienna (adviser: <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>).
</li>
</ol>

<h3>
  Other publications
</h3>
<p>
  I also have publications in other fields than research mathematics,
  namely, in digital humanities, in university pedagogy, and one which tries to explain
  some of my mathematical research to a broader audience.
</p>
<ol reversed>
  <li>
Bridging the Gaps:
Integrating Bibliographic
Metadata Into Wikidata for
Literary Corpora
(with <a href="https://www.dhss.phil.fau.eu/person/dr-katrin-rohrbacher/">Katrin Rohrbacher</a>).
<a href="https://doi.
org/10.5334/johd.483">Journal of
Open Humanities Data, 12: 37,
pp. 1&ndash;12.</a>
  </li>

  <li>
    Verrückte Familien. August 2020 issue of Spektrum der Wissenschaft, the German edition of Scientific American
  </li>

  <li>
    Research-led teaching in higher mathematics. In:
    <a href="https://www.ind.ku.dk/publikationer/up_projekter/2019---vol.-13/Hoveddokument.pdf">Improving University Science Teaching and Learning—Pedagogical Projects 2019. Department of Science Education, University of Copenhagen</a>.
</li>
</ol>
</section>


<footer>
</main>
<h2>Contact</h2>
<p>
  email: david "at" logic.univie.ac.at
</p>
<p><i>Page last changed: April 2026</p> </div>
<footer>


</body></html>