Vera Fischer, Privatdoz., PhD.
Email: vera.fischer at univie.ac.at
Phone:
+43 1 4277 50520
March 2021 - Welcome to Thilo Weinert!
December 2020 - Editor of the Proceedings of the American Mathematical Society starting February 1, 2021.
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.
July 4 - 8, 2022 Set Theory at the Erwin Schrödinger Institute 2022
September 13 - 17, 2021: XVI International Luminy Workshop in Set Theory.
Canceled: July 19 - 23, 2021, Vienna, Austria: 36th Summer Topology Conference.
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
Reading course in set theory Wi2017
UE Grundbegriffe/Grundzuege der mathematischen Logik So2016, So2017
Fabian Kaak, master thesis, current.
Lukas Koschat, master thesis, current.
Combinatorial Characterizations of Canjar Filters, Lukas Schembecker, master thesis, current.
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
Distributivity and more with W. Wohofsky, M. Koelbing, in preparation.
The Spectrum of Independence, Part II with S. Shelah, in preparation.
Independent families and compact partitions with J. A. Cruz-Chapital, O. Guzman, J. Supina, submitted.
Tight madness and selective independence with J. Supina, preprint.
Strong independence and its spectrum with M. Eskew, submitted.
Selective independence with J. Supina, submitted.
The structure of $\kappa$-maximal cofinitary groups with C. Switzer, submitted.
Higher independence with D. C. Montoya, submitted.
Good projective witnesses with S. D. Friedman, D. Schrittesser, A. Törnquist, submitted.
Definable MAD families and forcing axioms with D. Schrittesser, T. Weinert, accepted at the Annals of Pure and Applied Logic.
Gaps and towers at uncountable cardinals with D. C. Montoya, J. Schilhan, D. Soukup, accepted at Fundamenta Mathematicae.
Definable Towers with J. Schilhan, accepted at Fundamenta Mathematicae.
More ZFC inequalities between cardinal invariants with Daniel Soukup, accepted at the Journal of Symbolic Logic.
Sacks indestructible eventually different families with David Schrittesser, accepted at Fundamenta Mathematicae.
A co-analytic Sacks indestructible maximal independent family preprint.
Free sequences in $\mathcal{P}(\omega)/fin$ with D. Chodounsky, J. Grebik, Archive for Mathematical Logic 58(7-8), 1035-1051, 2019.
Definable maximal independent families with J. Brendle, Y. Khomskii, Proceedings of the American Mathematical Society 147, 3547-3557, 2019.
The spectrum of independence with S. Shelah, Archive for Mathematical Logic 58(7-8), 877-884, 2019.
Ideals of Independence with D. C. Montoya, Archive for Mathematical Logic 58(5-6), 767-785, 2019.
From creature forcing to boolean ultrapowers I.M.N. 236, 1-11, 2017.
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.
A co-analytic Cohen indestructible maximal cofinitary group with D. Schrittesser, A. Törnquist, Journal of Symbolic Logic 82(2), 629-247, 2017.
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.
Splitting, bounding and almost disjointness can be quite different with D. Mejia, Canadian Journal of Mathematics 69(3), 502-531, 2017.
Definable maximal cofinitary groups with S. D. Friedman, A. Törnquist, preprint.
Maximal cofinitary groups revisited Mathematical Logic Quarterly 61, 367-379, 2015.
Measure, category and projective wellorders with S. D. Friedman and Y. Khomskii, Journal of Logic and Analysis 6(8), 1-25, 2014.
Template iterations and maximal cofinitary groups with A. Törnquist, Fundamenta Mathematicae 230(3), 205-236, 2015.
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.
Co-analytic mad families and definable wellorders with S. D. Friedman and Y. Khomskii, Archive for Mathematical Logic 52(7-8), 809-822, 2013.
Cardinal characteristics, projective wellorders and large continuum with S. D. Friedman and L. Zdomskyy, Annals of Pure and Applied Logic 164, 763-770, 2013.
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.
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.
Non-dominating ultrafilters with B. Irrgang, Acta Universitatis Carolinae - Mathematica et Physica 51, 13-17, 2010.
Mad families, splitting families and large continuum with J. Brendle, Journal of Symbolic Logic 76(1), 198-208, 2011.
A co-analytic maximal set of orthogonal measures with A. Törnquist, Journal of Symbolic Logic 75(4), 1403 - 1414, 2010.
Cardinal characteristics and projective well-orders with S. D. Friedman, Annals of Pure and Applied Logic 161, 916-922, 2010.
Further combinatorial properties of Cohen forcing with J. Steprans, RIMS Conference proceedings in "Combinatorial and Descriptive Set Theory", Kyoto, 2008.
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.
The consistency of $\mathfrak{b}=\kappa<\mathfrak{s}=\kappa^+$ with J. Steprans, Fundamenta Mathematicae 201(3), 283-293, 2008.
Open covers and symmetric operators with S. Watson, Topology Proceedings 27(2), 653-660, 2003.
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.
BLAST 2021 (New Mexico State University - via Zoom), invited lecture.
May 12 - 16, 2021, 54th Spring Topology and Dynamics Conference, plenary lecture.
January 29, 2020 - 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.