Skip to content

Commit 4f40d1a

Browse files
logicdavidlogicdavid
committed
Add homepage files
1 parent 30c1855 commit 4f40d1a

File tree

7 files changed

+416
-1
lines changed

7 files changed

+416
-1
lines changed

‎1208-fotocred-Martina-Lajczak-DSC1584.jpg

540 KB
Loading

‎files/fri-schi-schr-coding-K.pdf

295 KB
Binary file not shown.

‎files/kobTalk.pdf

265 KB
Binary file not shown.

‎files/mthesis.pdf

389 KB
Binary file not shown.

‎index.html

100644100755
Lines changed: 250 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,250 @@
1-
Hello World!
1+
<!doctype html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8">
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6+
<title>David Schrittesser's mathematical homepage</title>
7+
<meta name="description" content="Research, teaching, and talks about logic, mathematics, and statistics by David Schrittesser">
8+
<meta name="keywords" content="mathematical logic, set theory, mathematics, statistics">
9+
<meta name="author" content="David Schrittesser">
10+
<style>
11+
body {
12+
font-family: sans-serif;
13+
font-size:larger;
14+
line-heiht: 1.2;
15+
background: skyblue;
16+
background: linear-gradient(white, skyblue);
17+
margin: 5em 5em 5em 3em;
18+
}
19+
section {
20+
padding: .3em;
21+
}
22+
li {
23+
margin-right: .5em;
24+
margin-left: .5em
25+
}
26+
li:not(:last-child) {
27+
margin-bottom: .2em;
28+
}
29+
30+
</style>
31+
</head>
32+
<body>
33+
<main>
34+
<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">
35+
36+
<h1>David Schrittesser</h1>
37+
38+
<section>
39+
<p> I am a Research Associate in statistics and mathematics at the <a href="https://www.utoronto.ca/">University of Toronto.</a></p>
40+
</p> I am also one of the organizers of the <a href="http://www.fields.utoronto.ca/activities/21-22/set-theory-seminar">Set Theory Seminar at the Fields Institute</a>.</p>
41+
</section>
42+
<section>
43+
<h2>News</h2>
44+
<p>
45+
<ul>
46+
<li>
47+
I will teach a course on non-standard analysis with lots of applications next semester (Fall 2022). Feel free to contact me if you are interested in attending.
48+
I gave a talk on June 23, 2021 at the <a href="https://pgadey.ca/seminar/">UTSC Graduate Student Seminar</a> about the topics of the above course.
49+
</li>
50+
<li>
51+
On World Logic Day, January 14th 2022, we had a <a href="https://homepage.univie.ac.at/david.schrittesser/world-logic-day-2022.html">series of talks at the Toronto Set Theory Seminar</a> at Fields Institute.
52+
</li>
53+
<li>
54+
<a href="https://www.dropbox.com/s/9fh2vcei3ahw6v8/ISBA-talk-schrittesser.mp4?dl=0">Here is a 11 minute long talk<a> I gave at the virtual ISBA 2021 conference, about my recent joint result with <a href="http://danroy.org/">Dan M. Roy</a> and <a href="https://hyperfinite.net/">Haosui Duanmu</a>. We showed that admissibility in statistical decision problems with
55+
strictly convex losses is Bayes optimality with infinitesimals. We have since improved this theorem by removing the requirement that the loss be strictly convex.
56+
</li>
57+
<li>
58+
<a href="http://www.fields.utoronto.ca/talks/taste-nonstandard-analysis-and-statistical-decision-theory">Here is a talk I gave</a> at the Fields Institute Set Theory Seminar, intended for an audience with a background in set theory (recorded on video; if the video is not yet available at the above link, it should be, soon).
59+
</li>
60+
</ul>
61+
</p>
62+
</section>
63+
<section>
64+
<h2>Research Profile</h2>
65+
<p> My research is in
66+
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.
67+
</p>
68+
</section>
69+
<section>
70+
<h2>Students</h2>
71+
72+
<ul>
73+
<li> Severin Mejak (PhD, ongoing). I am co-advising Severin with Asger T&ouml;rnquist.
74+
</li>
75+
<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>
76+
</li>
77+
<li> <a href="https://dsnielsen.com/">Dan Saattrup Nielsen</a>, master thesis, title: <a href="https://github.com/saattrupdan/MSc-thesis">Inner model theory. An introduction</a>.
78+
</li>
79+
<li> I also advised bachelor projects by Magnus Baunsgaard Kristensen, Fraser Binns, and (co-advised) Dan Saattrup Nielsen (he wrote a <a href="https://github.com/saattrupdan/BSc-thesis">thesis about G&ouml;del's constructible universe</a>).
80+
</li>
81+
</ul>
82+
83+
</section>
84+
<section>
85+
<h2>Publications</h2>
86+
<p>
87+
At times, the list of papers on my <a href="https://arxiv.org/a/schrittesser_d_1.html">arxiv author's page<a>
88+
may be more up-to-date than the list below. The list at my arxiv page also lacks the first four items from the list below (my two theses, and two published research articles) as well as Item 11 (an article about teaching mathematics which I wrote as part of a pedadogy course at University of Copenhagen).
89+
</p>
90+
91+
<ol>
92+
<li>
93+
<a href="http://www.math.uni-bonn.de/people/david/files/mthesis.pdf">Sigma^1_3-absoluteness in forcing extensions.</a> Master's thesis, University of Vienna, 2004 (adviser: <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>).
94+
</li>
95+
<li>
96+
<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> Proc. Amer. Math. Soc.
97+
135 (2007), pp. 1213&ndash;1222.
98+
</li>
99+
<li> Projective measure without projective Baire. PhD thesis, University
100+
of Vienna, 2010 (adviser: <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>).
101+
</li>
102+
<li> (joint 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.math.uni-bonn.de/people/david/files/fri-schi-schr-coding-K.pdf">Coding over core models</a>, in: Infinity, Computability,
103+
and Metaphysics (Geschke et al., eds.), <a href="http://www.collegepublications.co.uk/tributes/?00023">Festschrift</a> celebrating the 60th birthdays of Peter Koepke and Philip Welch, College Publications, pp. 167&ndash;182.
104+
</li>
105+
<li> (joint with <a href="http://www.logic.univie.ac.at/%7Esdf/">Sy Friedman</a>) <a href="http://arxiv.org/abs/1401.6808">Projective measure without projective Baire</a>. <a href="https://doi.org/10.1090/memo/1298">Memoirs of the American Mathematical Society 267 (2020), no. 1298, v+150 pp.</a>.
106+
</li>
107+
<li> (joint with <a href="http://www.math.ku.dk/%7Easgert/">Asger
108+
T&ouml;rnquist</a>) <a href="http://arxiv.org/abs/1510.08781"> Definable
109+
maximal discrete sets in forcing extensions</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>.
110+
</li>
111+
<li> (joint with <a href="http://www.math.ku.dk/%7Easgert/">Asger
112+
T&ouml;rnquist</a>
113+
and <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a>)
114+
<a href="http://arxiv.org/abs/1603.02024">A co-analytic Cohen-indestructible maximal cofinitary group.</a> <a href="https://doi.org/10.1017/jsl.2017.5">The Journal of Symbolic Logic, 82(2), 627&ndash;641.</a>
115+
</li>
116+
<li> <a href="https://arxiv.org/abs/1610.03331">Definable discrete
117+
sets with large continuum.</a> (2016) 26 pages.
118+
</li>
119+
<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.
120+
</li>
121+
122+
<li><a href="https://arxiv.org/abs/1704.04751">Compactness of maximal eventually different families</a>. (2017) 9 pages. <a href="http://onlinelibrary.wiley.com/wol1/doi/10.1112/blms.12139/abstract">Bull. London Math. Soc. 50 (2018) 340&ndash;348</a>.</li>
123+
<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>.
124+
</li>
125+
<li>(joint with Karen Bakke Haga and <a href="http://www.math.ku.dk/%7Easgert/">Asger
126+
T&ouml;rnquist</a>) <a href="https://arxiv.org/abs/1810.03016">Maximal almost disjoint families, determinacy, and forcing</a>. <a href="https://doi.org/10.1142/S0219061321500264">
127+
Journal of Mathematical Logic. </a> 40 pages.
128+
</li>
129+
<li>(joint with <a href="http://www.logic.univie.ac.at/%7Evfischer/">Vera Fischer</a>) <a href="files/fischer-schrittesser-sacks.pdf">A co-analytic Sacks indestructible maximally eventually different family</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>, 23 pages.
130+
</li>
131+
<li>(joint with Sandra M&uuml;ller, Philipp Schlicht, and Thilo Weinert) <a href="https://arxiv.org/abs/1811.06489">Lebesgue's density theorem and definable selectors for ideals.</a> (2018) 28 pages. To appeear in <i>Israel Journal of Mathematics</i>.
132+
</li>
133+
<li>(joint 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
134+
T&ouml;rnquist</a>) <a href="https://arxiv.org/abs/1904.05823">Good projective witnesses</a>. (April 2019) 21 pages.
135+
<li>(joint with <a href="http://www.math.ku.dk/%7Easgert/">Asger
136+
T&ouml;rnquist</a>) <a href="https://arxiv.org/abs/1904.05824">The Ramsey property implies no mad families</a>. <a href="https://doi.org/10.1073/pnas.1906183116">Proceedings of the National Academy of Sciences</a>, 10 pages.
137+
</li>
138+
<li> (joint with Rapha&euml;l Carroy, Benjamin Miller, and Zolt&aacute;n Vidny&aacute;nsky) <a href="https://arxiv.org/abs/1906.08373">Minimal definable graphs of definable chromatic number at least three</a>. <a href="https://doi.org/10.1017/fms.2020.58">Forum Math. Sigma 9 (2021), Paper No. e7.</a>
139+
</li>
140+
<li>(joint with Vera Fischer and Thilo Weinert) <a href="https://arxiv.org/abs/1912.12815">Definable MAD families and forcing axioms</a>. (December 2019) 13 pages. <a href="https://doi.org/10.1016/j.apal.2020.102909">Annals of Pure and Applied Logic, 172 (5), 102909.</a>.
141+
</li>
142+
<li>(joint with <a href="http://www.math.ku.dk/%7Easgert/">Asger
143+
T&ouml;rnquist</a>) <a href="https://arxiv.org/abs/2003.10944">The Ramsey property and higher dimensional mad families</a>. (March 2020) 29 pages.
144+
<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>
145+
</li>
146+
<li> (joint with Robert M. Anderson, Haosui Duanmu, and William Weiss) <a href="https://arxiv.org/abs/2010.01842">Loeb extension and Loeb equivalence </a>. <a href="https://doi.org/10.1090/bproc/78"> Proceedings of the American Mathematical Society, Series B, Volume 8, Issue 10, 112–120</a>.
147+
</li>
148+
<li>
149+
<a href="https://arxiv.org/abs/2105.11318"> Constructing maximal cofinitary groups </a>. (May 2021) 19 pages.
150+
</li>
151+
<li> (joint with Haosui Duanmu and Daniel M. Roy) <a href="https://arxiv.org/abs/2112.14257">Admissibility, Bayes optimality, and the nonstandard Blyth method (working title)</a>.
152+
</li>
153+
<li> (joint with Haosui Duanmu and William Weiss) <a href="https://arxiv.org/abs/2112.13955">Loeb extension and Loeb equivalence II</a>.
154+
</li>
155+
</ol>
156+
157+
</section>
158+
<section>
159+
160+
161+
162+
<h2>Upcoming and past talks and travel</h2>
163+
<ul>
164+
<li>2021: Novi Sad Conference in Set theory and General Topology (SETTOP), Serbia.
165+
</li>
166+
<li>September/November 2021: DMV-&Ouml;MG (Austrian and German Mathematical Society) joint annual conference,
167+
University of Passau, virtual conference</li>
168+
<li> June 19 2020: Set Theory Seminar at the Fields Institute, Toronto, Canada (online seminar).
169+
</li>
170+
<li>January 2020: Visiting <a href="https://people.maths.bris.ac.uk/~mapdw/">Philip Welch</a> at University of Bristol.
171+
</li>
172+
<li>November 2019: <a href="http://www.sic.shibaura-it.ac.jp/~ikegami/RIMS2019.html">RIMS Workshop</a>, Kyoto; and visiting J&ouml;rg Brendle at Kobe University, Japan.
173+
</li
174+
<li>
175+
June 5&ndash;7, 2019: Visiting University of Copenhagen.
176+
</li>
177+
<li> May 14: Universit&eacute Paris Diderot.
178+
</li>
179+
<li> February 15, 2019: logic seminar talk at the Fields Institute, University of Toronto.
180+
</li>
181+
<li> February 5, 2019: logic seminar talk at McGill University.
182+
</li>
183+
<li> February 2019: visiting <a href="http://www.math.mcgill.ca/msabok/">Marcin Sabok</a> at McGill University, Canada.
184+
</li>
185+
<li> January 2019: <a href="http://math.helsinki.fi/logic/arctic/2019/">Arctic Set Theory 4</a>, Kilpisj&auml;rvi, Finland.
186+
</li>
187+
<li>October 5, 2018: <a href="https://nylogic.github.io/set-theory-seminar.html">Set Theory Seminar</a> <a href="https://nylogic.github.io/set-theory-seminar/2018/10/05/the-ramsey-property.html">talk</a> at City Universtity New York, USA.</li>
188+
<li>October 2, 2018: Logic seminar talk at McGill University, Canada.</li>
189+
<li>August 2018: <a href="http://events.illc.uva.nl/KNAW2018/">KNAW Academy Colloquium <i>Generalized Baire space,</i></a> Amsterdam, The Netherlands.
190+
<li>June 2018: <a href="https://cib.epfl.ch/events/1422">Descriptive Set Theory Conference</a>, Lausanne, Switzerland.</li>
191+
<li>June 2018: <a href="http://youngsettheory2018.altervista.org/"</a>11th Young Set Theory Workshop</a>, Lausanne Switzerland.</li>
192+
<li>Februar 2018: Visiting Asger T&ouml;rnquist and Karen Bakke Haga at University of Copenhagen.</li>
193+
<li>September 2017: <a href="http://logicatorino.altervista.org/dstTurin17/index.php">Descriptive Set Theory in Turin</a>, Torino, Italy.
194+
</li>
195+
<li>August 2017: <a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-colloquium-201">Logic Colloquium</a>, Stockholm, Sweden.
196+
</li>
197+
<li>July 2017: <a href="https://sites.google.com/site/6thestc/home">European Set Theory Conference</a>, Budapest, Hungary.
198+
</li>
199+
<li> January 2017: <a href="http://math.helsinki.fi/logic/arctic/2017/">Arctic Set Theory 3</a>, Kilpisj&auml;rvi, Finland.
200+
</li>
201+
<li> November
202+
2016: <a href="http://www.ipc.shizuoka.ac.jp/~styorio/rims16/">RIMS Workshop
203+
on Infinite Combinatorics and Forcing</a>, Kyoto, Japan.
204+
</li>
205+
<li> August 2016: Invited talk at <a href="http://www.lc2016.leeds.ac.uk/">Logic Colloquium 2016</a>
206+
(special session: set theory), Leeds, UK.
207+
</li>
208+
<li> June
209+
2016: <a href="https://www.dmi.uns.ac.rs/settop/2016/default.htm">SETTOP</a>,
210+
Novi Sad, Serbia.
211+
</li>
212+
</ul>
213+
214+
</section>
215+
<section>
216+
217+
<h2> Young Set Theory 2016 </h2>
218+
A while ago, the famous <a href="http://www.math.ku.dk/english/research/conferences/2016/yst2016/" >Young Set Theory Workshop</a> put up its tent in
219+
Copenhagen, organized by Karen Bakke Haga, Vibeke Quorning, Asger
220+
T&ouml;rnquist, and me. We acknowledge generous support from the <i>DNRF Niels Bohr Professorship</i> of Lars Hesselholt and from the University of Copenhagen.
221+
222+
</section>
223+
<section>
224+
225+
226+
<h2>A few Slides from long ago</h2>
227+
228+
<ul>
229+
<li>
230+
If you are not a set theorist, maybe you will enjoy these <a href="http://www.math.uni-bonn.de/people/david/files/kobTalk.pdf">slides</a>;
231+
I made them with a general mathematical audience in mind, for a talk
232+
in the descriptive set theory seminar in <a href="http://www.math.ku.dk/english/research/ncg/">Copenhagen</a> on January 9th 2014.
233+
</li>
234+
<li>
235+
Here are some <a href="http://estcongress.org/Slides/Schrittesser.pdf">slides</a> for my talk at the <a href="http://estcongress.org/">4th European Set Theory Conference</a> in Barcelona, in July 2013.
236+
</li>
237+
</ul>
238+
</section>
239+
<footer>
240+
</main>
241+
<h2>Contact</h2>
242+
<p>
243+
email: david.schrittesser "at" univie.ac.at
244+
</p>
245+
<p><i>Page last changed: January 2021</i></p> </div>
246+
<footer>
247+
248+
249+
250+
</body></html>

‎wld_graphics/WLD_Grafik_Banner_820x312px.jpg

244 KB
Loading

0 commit comments

Comments
 (0)