Ass.-Prof. Vera Fischer, Privatdoz., PhD.
Email: vera.fischer at univie.ac.at
Phone: +43 1 4277 50520

• September 27 - October 1, 2021: The Joint Annual Conference of DMG and ÖMG will be held at the University of Passau (Germany) in virtual form. The Logic Section will be organized by Tobias Kaiser (University of Passau) and Vera Fischer (University of Vienna). Proposals for talks are welcome!

• May 21 - June 18, 2021: A Short Talk Series: Research in Set Theory Researchers working in set theory will give a series of short talks introducing various areas of the subject. The talks are intended for graduate students and will be held digitially Fridays, 9:30 - 10:10am.

• February 2021 - Editor of the Proceedings of the American Mathematical Society.

• In July 2018, I won the Förderungspreis der Österreichischen Mathematischen Gesellschaft, which is the highest mathematics award in Austria.

• In June 2017, I was awarded the FWF START Prize, which is one of the highest Austrian awards in science.

• Since January 2018, a board member of the European Set Theory Society.

• Current FWF projects: Y1012 and I 4039.

• August 17 - 20, 2022 Young Set Theory Workshop and August 22-25, 2022 SETTOP, Novi Sad - member of the scientific committee.

• July 18-22 2022, Vienna, Austria: 36th Summer Topology Conference.

• July 4 - 8, 2022 Set Theory at the Erwin Schrödinger Institute 2022

• September 13 - 17, 2021: XVI International Luminy Workshop in Set Theory.

• Logic Section at the ÖMG Congress in Dornbirn September 2019

• 7th European Set Theory Conference July 2019, Vienna, Austria

• Advanced Class in Set Theory (Young Set Theory Today 2019) June 2019, Austria

• Set theory today: A conference in honor of Georg Cantor 10-14 of September, Vienna, Austria

• Mini-Symposium in Mathematical Logic at the 18 EWM General Meeting 3-7 September, Graz, Austria

• Current Postdocs: Jeffrey Bergfalk (postdoc), Corey Switzer (researcher), Wolfgang Wohofsky (postdoc), Thilo Weinert (postdoc)

• Doctoral Students: Ömer Bag (current), Michal Godziszewski (external, current), Lukas Schembecker, Jonathan Schilhan (graduated Jan 2021)

• Former Postdocs and Researchers: Monroe Eskew (FWF postdoc) Diana Carolina Montoya (FWF Hertha Firnberg Fellow), Thilo Weinert (National University of Singapore), Yair Hayut (FWF Lise Meitner Fellow), David Fernandez Breton (CINVESTAV, Mexico City), Wolfgang Poiger (University of Luxemburg), Philipp Schlicht (University of Bonn), David Schrittesser (University of Toronto), Jaroslav Supina (University of Kosice)

Teaching

• Axiomatic Set Theory S2021: lecture notes and other material can be found on the Moodle website of the course.

• Introductory Seminar on Axiomatic Set Theory S2021: material for the class can be found on the Moodle website of the course.

• Introduction to mathematical logic Wi2020: lecture notes and other material can be found on the Moodle website of the course. Here is a book version of the covered material Intro Math Logic W2020 . Note that there is one more chapter to come: Incompleteness!

• Advanced topics in mathematical logic So2020: lecture notes and other material can be found on the Moodle website of the course. Lecture notes regarding proper forcing can be found here Properness and Applications .

• Introduction to mathematical logic: So2020 Courese material and further information can be found on the Moodle website of the course.

• Introduction to theoretical computer science Wi2019

• Model Theory So2018

• Introduction to theoretical computer science Wi2017, Wi2018

• Reading course in set theory Wi2017

• UE Grundbegriffe/Grundzuege der mathematischen Logik So2016, So2017

• Introduction to mathematical logic Wi2015, Wi2016

• Axiomatic Set Theory 1 So2016, So2017, So2019

• Introductory Seminar Axiomatic Set Theory I So2018, So2019

• Lukas Klausner, TU Wien, October 2018 (referee).

• Anda Ramona-Tanasie, TU Wien, November 2018 (referee).

• Thomas Baumhauer, TU Wien, early 2019 (external examiner).

• Manuel Inselmann, Uni Wien, January 2020 (examiner).

• Fabian Kaak, master thesis, current.

• Lukas Koschat, master thesis, current.

• Inge Grissenberger, bachelor thesis, current.

• Modelle der Arithmetik, Stefan Lorenz, bachelor thesis, S2021

• Combinatorial Characterizations of Canjar Filters, Lukas Schembecker, master thesis, S2021.

• Forcing und relative Konsistenzbeweise Julia Buchegger, bachelor thesis, W2020.

• Funktionale Vollständigkeit in der Aussagenlogik Marlene Weid, bachelor thesis, W2020.

• Einführung in Komplexitätsklassen Franz Schekolin, bachelor thesis, W2020.

• Ehrenfeucht-Fraïssé Games Lucia Marchionne, bachelor thesis, W2020.

• Berechenbarkeit, Simone Luksch, bachelor thesis, So2020

• Infinity and choice, Padraig Paul Sweeney, bachelor thesis, So2020

• Cofinitary Groups Maximilian Vötsch, master thesis, So2020

• Lokale Eigenschaften topologischer Funktionenräume und mengenwertige Abbildungen Lesya Zdomska, Diplomarbeit, So2020

• Independent and Almost Disjoint Families Wolfgang Poiger, master thesis, So2019

• Martin's Axiom, Measure and Category Alexander Wendlinger, bachelor thesis So2019

• Towers and Pseudointersections Jonathan Schilhan, master thesis So2018

• Methods of iteration and applications Ö. Bag, master thesis So2018

• The Suslin Problem Joaquin Padilla Montani, bachelor thesis Wi2018

• The Axiom of Foundation Christoph Hammer, bachelor thesis Wi2018

• Ultraprodukte und Nicht-Standard Modelle Lukas Eckerstorfer, bachelor thesis So2017

• Vaught's Never Two Michael Zechner, bachelor thesis Wi2017

• Axiom of Choice Arved Bartuska, bachelor thesis So2016

• Forcing and applications on boudning, splitting and almost disjointness Jonathan Schilhan, bachelor thesis So2016

• Bounding, splitting and almost disjointness Jonathan Schilhan, bachelor thesis Wi2016

43. Towers, mad families and unboundedness with M. Koelbing, W. Wohofsky.

42. The Spectrum of Independence, Part II with S. Shelah.

41. Projective well orders and coanalytic witnesses with J. Bergfalk, C. B. Switzer.

40. The distributivity spectrum of $\mathcal{P}(\omega)/fin$ with W. Wohofsky, M. Koelbing.

39. Tight eventually different familiess with C. Switzer.

38. Partition forcing and combinatorics with J. A. Cruz-Chapital, O. Guzman, J. Supina.

37. Strong independence and its spectrum with M. Eskew.

36. The structure of $\kappa$-maximal cofinitary groups with C. Switzer.

35. Higher independence with D. C. Montoya.

34. Good projective witnesses with S. D. Friedman, D. Schrittesser, A. Törnquist.

33. Definable Towers with J. Schilhan.

32. Towers and gaps at uncountable cardinals with D. C. Montoya, J. Schilhan, D. Soukup, accepted at Fundamenta Mathematicae.

31. More ZFC inequalities between cardinal invariants with D. Soukup, Journal of Symbolic Logic, doi:10.1017/jsl.2021.52

30. Definable MAD families and forcing axioms with D. Schrittesser, T. Weinert, Ann. Pure Appl. Logic 172 (2021).

29. A Sacks indestructible co-analytic maximal eventually different family with D. Schrittesser, Fundamenta Mathematicae 252 (2021), 179-201.

28. A co-analytic Sacks indestructible maximal independent family preprint.

27. Free sequences in $\mathcal{P}(\omega)/fin$ with D. Chodounsky, J. Grebik, Archive for Mathematical Logic 58(7-8), 1035-1051, 2019.

26. Definable maximal independent families with J. Brendle, Y. Khomskii, Proceedings of the American Mathematical Society 147, 3547-3557, 2019.

25. The spectrum of independence with S. Shelah, Archive for Mathematical Logic 58(7-8), 877-884, 2019.

24. Ideals of Independence with D. C. Montoya, Archive for Mathematical Logic 58(5-6), 767-785, 2019.

23. From creature forcing to boolean ultrapowers I.M.N. 236, 1-11, 2017.

22. Coherent systems of finite support iterations with S. D. Friedman, D. A. Mejia, D. C. Montoya, Journal of Symbolic Logic 83(1), 208-236, 2018.

21. A co-analytic Cohen indestructible maximal cofinitary group with D. Schrittesser, A. Törnquist, Journal of Symbolic Logic 82(2), 629-247, 2017.

20. Generalized characteristics in a small $\mathfrak{u}(\kappa)$ model with A. Brooke-Taylor, S. D. Friedman, D. Montoya, Annals of Pure and Applied Logic 168(1), 37-49, 2017.

19. Splitting, bounding and almost disjointness can be quite different with D. Mejia, Canadian Journal of Mathematics 69(3), 502-531, 2017.

18. Definable maximal cofinitary groups with S. D. Friedman, A. Törnquist, preprint.

17. Maximal cofinitary groups revisited Mathematical Logic Quarterly 61, 367-379, 2015.

16. Measure, category and projective wellorders with S. D. Friedman and Y. Khomskii, Journal of Logic and Analysis 6(8), 1-25, 2014.

15. Template iterations and maximal cofinitary groups with A. Törnquist, Fundamenta Mathematicae 230(3), 205-236, 2015.

14. Cichon's diagram, regularity properties and $\Delta^1_3$ sets of reals with S. D. Friedman and Y. Khomskii, Archive for Mathematical Logic 53(5-6), 695-729, 2014.

13. Co-analytic mad families and definable wellorders with S. D. Friedman and Y. Khomskii, Archive for Mathematical Logic 52(7-8), 809-822, 2013.

12. Cardinal characteristics, projective wellorders and large continuum with S. D. Friedman and L. Zdomskyy, Annals of Pure and Applied Logic 164, 763-770, 2013.

11. Projective maximal families of orthogonal measures with large continuum with S. D. Friedman and A. Törnquist, Journal of Logic and Analysis 4, 1-15, 2012.

10. Projective wellordrs and mad families with large continuum with S. D. Friedman and L. Zdomskyy, Annals of Pure and Applied Logic 162(11), 853-862, 2011.

9. Non-dominating ultrafilters with B. Irrgang, Acta Universitatis Carolinae - Mathematica et Physica 51, 13-17, 2010.

8. Mad families, splitting families and large continuum with J. Brendle, Journal of Symbolic Logic 76(1), 198-208, 2011.

7. A co-analytic maximal set of orthogonal measures with A. Törnquist, Journal of Symbolic Logic 75(4), 1403 - 1414, 2010.

6. Cardinal characteristics and projective well-orders with S. D. Friedman, Annals of Pure and Applied Logic 161, 916-922, 2010.

5. Further combinatorial properties of Cohen forcing with J. Steprans, RIMS Conference proceedings in "Combinatorial and Descriptive Set Theory", Kyoto, 2008.

4. The consistency of arbitrarily large spread between the bounding and the splitting numbers doctoral dissertation, under the supervision of Dr. Juris Steprans, York University, 2008.

3. The consistency of $\mathfrak{b}=\kappa<\mathfrak{s}=\kappa^+$ with J. Steprans, Fundamenta Mathematicae 201(3), 283-293, 2008.

2. Open covers and symmetric operators with S. Watson, Topology Proceedings 27(2), 653-660, 2003.

1. Symmetric complex Banach manifolds and Hermitian Jordan triple systems - diplomarbeit (M.Sc. thesis), under the supervision of Dr. Wilhelm Kaup, University of Tübingen, 2001.

• July 19 - 24, ASL Logic Colloquium, plenary lecture.

• June 9-13, 2021, BLAST 2021 (New Mexico State University - via Zoom), plenary lecture.

• May 12 - 16, 2021, 54th Spring Topology and Dynamics Conference, plenary lecture.

• January 29, 2021 - Turin-Udine Logic Seminar, invited lecture.

• January 20, 2021, Barcelona Set Theory Seminar, invited lecture.

• January 14, 2021, São Paulo Logic Day, invited lecture.

• November 19, 2020, HUJI-BIU Set Theory seminar, invited lecture.

• November 16, 2020, RIMS Set Theory and topology, contributed talk.

• November 4, 2020, University of Wisconsin Logic Seminar, invited lecture.

• July 3rd, 2020, CUNY Logic Seminar, invited lecture.

• June 20 - 21, 2020, Hamburg Set Theory Workshop (via Zoom), invited lecture.

• Canceled: April 22 - 24, 2020, CUNY Set Theory Meeting, New York, USA, invited lecture.

• April 5 - 11, 2020, Oberwolfach Set Theory Workshop, Oberwolfach, Germany, invited lecture.

• October 24 - 28, 2019, Rutgers University, NJ, USA, research visit.

• May 20 - 23, 2019, North American Annual Meeting of the Association of Symbolic Logic, New York, plenary lecture.

• May 13 - 17, 2019, 50 Years of Set Theory in Toronto, the Fields Institute, Toronto, plenary lecture.

• April 2019, Invited Lecture and Research visit, University of Helsinki, Finland.

• March 2019, Invited Lecture and Research visit, University of Leeds, England.

• February 3 - 6, 2019, research visit, Hebrew University of Jerusalem, Israel.

• January 21 - 26, 2019, 4th Arctic Set Theory workshop, Finland.

• December 16 - 20, 2018, Hebrew University of Jerusalem (research visit), Jerusalem, Israel.

• November, 2018, RIMS, Kyoto, invited talk and research visit Kobe, Japan.

• September 24th, 2018, Colloquium Talk at the Department of Mathematics, York University, Toronto, Canada.

• September 21st, 2018, Fields Institute, invited talk, Toronto, Canada.

• September 2018 - Joint Meeting of the Czech, Slovenian, Austrian, Slovak and Catalan Mathematical Societies, plenary lecture.

• August 22 - 24, 2018, Fourth Generalised Baire Spaces Workshop, Royal Dutch Academy of Sciences, plenary lecute.

• August 12 - 17, 2018, Hebrew University of Jerusalem (research visit), Jerusalem, Israel.

• July 2 - 5, 2018, Novi Sad Conference in Set theory and General Topology (SETTOP 2018), plenary lecture.

• March 18 - 23, 2017, Hebrew University of Jerusalem (research visit), Jerusalem, Israel.

• November 28, 2017 - Invited talk at the Mathematical Logic Seminar, and research visit (26 - 29.11) at University of Hamburg.

• November 22, 2017 - Colloquium Talk at the Faculty of Mathematics, University of Vienna.

• October 8 - 13, 2017, Set Theory Workshop, Luminy, France, plenary lecture.

• September 11 - 15, 2017, 17th Annual OEMG Meeting and DMG Congress, Salzburg, Austria.

• August 28 - 31, 2017, Hebrew University of Jerusalem (research visit), Jerusalem, Israel.

• July 3 -7, 2017, 6th European Set Theory conference, Budapest, Hungary, plenary lecture.

• December 2016, Logic Seminar, Graduate Center, CUNY, USA.

• December 2016, Set Theory Seminar, Graduate Center, CUNY, USA.

• October 17 - 19, 2016, Prague - Vienna Set Theory Workshop, Czech Republic.

• September 21 - 23, 2016 - HCM, "Bonn Set Theory Workshop - the Generalized Baire space", Bonn, Germany.

• January 2016 - AIM, "High and Low Forcing", San Jose, CA.

• June 2015 - University of Bristol, UK.

• April 2015 - Technical University of Vienna (Algebra Seminar), Austria.

• March 2015 - National University of Singapore, Singapore.

• January 2015 - KGRC, University of Vienna, Austria.

• December 2014 - Technical University of Vienna (Logic Seminar), Austria.

• November 2014 - University of Kobe, Japan.

• October 31, 2014 - The Fields Insitute, Toronto, Canada.

• July 14 - 19, 2014 - Logic Colloquium, Vienna, Austria, plenary talk.

• March 4 - 7, 2014 - INFTY final conference, Bonn, Germany, plenary talk.

• February 2014 - University of Copenhagen, Denmark.

• January 12 - 18, 2014 - "Set Theory", MFO, Oberwohlfach, Germany.

• November 3 - 8, 2013 - "Axiomatic Approaches to Forcing in Set Theory", Banff Internaitonal Research Center, Banff, Canada.

• September 2013 - Alfred Renyi, Hungarian Academy of Sciencies, Budapest, Hungary; slides.

• September 2 - 6, 2013 -International Conference on Topology and Geometry, joint with the 6th Japan-Mexico Topology Symposium (JAMEX 6), Matsue, Japan; slides.

• April 2012 - Young Set Theory 2012, CIRM, France; slides.

• March 2012 - ASL Meeting in Wisconsin, Madison, USA; slides.

• January 2012 - Joint Workshop Kobe - Vienna, Kobe, Japan; slides

• June 2009 - Mathematics Insitutute, University of Bonn, Germany; abstract.

• December 2011 - Joint workshop Prague - Vienna, Prague, Czech Republic; slides.

• October 2011 - KGRC, University of Vienna, Austria; abstract.

• July 2010 - Joint seminar Sobolev Institute of Mathematics and KGRC, Vienna, Austria; slides.

• November 2009 - KGRC, University of Vienna, Austria; abstract.

• September 2009 - Center for Advanced Studies, Prague, Czech Republic.

• August 2009 - Logic Colloquim 2009, Sofia, Bulgaria; slides.

• April 2009 - Young Set Theory Meeting, Barcelona, Spain (talk in the discussion session).

• November 2008 - KGRC, University of Vienna, Austria; abstract.

• October 2008 - KGRC, University of Vienna, Austria; abstract.

• August 2008 - RIMS workshop "Combinatorial and Descriptive Set Theory", Kyoto, Japan; slides.

• June 2008 - CMS Summer Meeting in Calgary, Canada; abstract.

• December 2007, 21st - Toronto Set Theory Seminar, Toronto, Canada; abstract.

• December 2007, 7th and 14th - Toronto Set Theory Seminar, Toronto, Canada; abstract.

• June 2006 - CMS Summer Meeting in Calgary, Canada; abstract.

• Iterations with mixed support Toronto Graduate Student Set Theory Seminar, August 2, 2007.

• The consistency of $\mathfrak{t}=\omega_1< \mathfrak{h}=\omega_2$ Toronto Graduate Student Set Theory Seminar, July 12, 2007.

• Mathias forcing which does not add dominating reals Toronto Graduate Student Set Theory Seminar, June 7, 2007.

• The consistency of arbitrarily large spread between $\mathfrak{u}$ and $\mathfrak{d}$ Toronto Graduate Student Set Theory Seminar, April 02, 2007.

• Partitioning pairs of countable ordinals Toronto Graduate Student Set Theory Seminar, January 29, 2007.

• Nonisomorphism of ultrpowers of countable elementary equivalent models Toronto Graduate Student Set Theory Seminar, January 8, 2007.

• Preservation of the $^\omega\omega$-bounding property Toronto Graduate Student Set Theory Seminar, December 7, 2005.

• Preservation of unboundedness and the consistency of $\mathfrak{b} < \mathfrak{s}$ Toronto Graduate Student Set Theory Seminar, October 12, 2005.

• Preservation of properness under countable support iteration Toronto Graduate Student Set Theory Seminar, October 5, 2005.