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
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).
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).
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 December 2020 in Memoirs of the AMS.
- (joint with Asger
maximal discrete sets in forcing extensions. Math. Res. Lett. 25(5), 1591–1612, 2018.
- (joint with Asger
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. (2016) 26 pages.
- On Horowitz and Shelah's maximal eventually different family. RIMS Kyôkyûroku No. 2042, 99–105.
- Compactness of maximal eventually different families. (2017) 9 pages. Bull. London Math. Soc. 50 (2018) 340–348.
- (joint with Karen Bakke Haga and Asger
Törnquist) Maximal almost disjoint families, determinacy, and forcing. (2018) 40 pages.
- (joint with Vera Fischer) A co-analytic Sacks indestructible maximally eventually different family. Fundamenta Mathematicae, 23 pages.
- (joint with Sandra Müller, Philipp Schlicht, and Thilo Weinert) Lebesgue's density theorem and definable selectors for ideals. (2018) 28 pages.
- (joint with Vera Fischer, Sy Friedman, and Asger
Törnquist) Good projective witnesses. (April 2019) 21 pages.
- (joint with Asger
Törnquist) The Ramsey property implies no mad families. Proceedings of the National Academy of Sciences, 10 pages.
- (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.
- (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.
- (joint with Asger
Törnquist) The Ramsey property and higher dimensional mad families. (March 2020) 29 pages.
- Maximal discrete sets. To appear in RIMS Kokyuroku. (June 2020) 21 pages.
- (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
- 2021: Novi Sad Conference in Set theory and General Topology (SETTOP), Serbia.
- 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.
2016: RIMS Workshop
on Infinite Combinatorics and Forcing, Kyoto, Japan.
- August 2016: Invited talk at Logic Colloquium 2016
(special session: set theory), Leeds, UK.
Novi Sad, Serbia.
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.
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