# KGRC Research Seminar

In the KGRC Research Seminar, current research in Mathematical Logic is presented. Since its beginning in 1999, about 400 talks have been given, about half of them by visitors from outside Austria, including numerous leaders in the field. (We recently started another seminar as well, the Friday seminar.)

 Current year (sorted backwards) 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016
 2016‑11‑03 Raphaël Carroy(KGRC) Linear orders: when embedding and epimorphism coincide 2016‑10‑27 Boaz Tsaban(Bar-Ilan University, Tel Aviv, Israel) On the existence of real Fréchet-Urysohn function spaces 2016‑10‑20 Piotr Szewczak(Cardinal Stefan Wyszynski University in Warsaw, Poland) Products of Menger spaces 2016‑10‑13 Daniel Soukup(KGRC) Some graph theory from the Rockies 2016‑10‑03 Ján Pich(KGRC) Complexity theory in feasible mathematics 2016‑07‑14 Arnold W. Miller(University of Wisconsin - Madison, USA) On the length of Borel hierarchies 2016‑06‑30 Rachid Atmai(KGRC) Descriptive inner model theory and consistency results in ZFC from determinacy 2016‑06‑28 Peter Nyikos(University of South Carolina, Columbia, USA) A forcing built around a coherent Souslin tree and its uses for normal, locally compact spaces 2016‑06‑16 Neil Barton(KGRC) (Sub)systems of second-order set theory 2016‑06‑09 Sandra Uhlenbrock(Westfälische Wilhelms-Universität Münster, Germany) Hybrid Mice and Determinacy in the $L(\mathbb{R})$-hierarchy 2016‑06‑02 David Chodounský(Academy of Sciences of the Czech Republic, Prague) Forcing variations of the Martin's Axiom 2016‑05‑19 Otmar Spinas(Christian-Albrechts-Universität zu Kiel, Schleswig-Holstein, Germany) Tukey relations between the Mycielski and the meager and null ideals 2016‑05‑13 Paul Gartside(University of Pittsburgh, Pennsylvania, USA) Neighborhoods, Compacta and the Tukey Order 2016‑05‑12 Anush Tserunyan(University of Illinois at Urbana-Champaign, USA) Differentiation of subsets of semigroups, a Ramsey theorem, and a van der Corput lemma 2016‑04‑28 Jan van Mill(University of Amsterdam, The Netherlands) The existence of a connected meager in itself CDH space is independent of ZFC 2016‑04‑21 Jerzy Kąkol(Adam Mickiewicz University Poznań, Poland) Selected topics for the weak topology of Banach spaces 2016‑04‑14 Yue Yang(National University of Singapore, Singapore) A Normal Form Theorem of Computation on Real Numbers 2016‑04‑07 Radek Honzík(Charles University in Prague, Czech Republic) The tree property and the continuum function below $\aleph_\omega$ 2016‑03‑17 Ben Miller(KGRC) A basis theorem for the complement of the first Baire class 2016‑03‑10 Sy-David Friedman(KGRC) Descriptive Set Theory and Absoluteness 2016‑03‑03 Yann Pequignot(KGRC) From well to better, the space of ideals 2016‑02‑11 Keita Yokoyama(Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan and University of Berkeley, California, USA) The proof-theoretic strength of Ramsey's theorem for pairs and two colors 2016‑01‑21 Ari Brodsky(Bar-Ilan University, Tel Aviv, Israel) Custom-made Souslin trees 2016‑01‑14 Leszek Kołodziejczyk(University of Warsaw, Poland) How unprovable is Rabin's decidability theorem? 2016‑01‑07 David Schrittesser(University of Copenhagen, Denmark) Maximal discrete sets with large continuum

## Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. +43-1-4277-50501. Last updated: 2016-10-21, 14:12.