# 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‑12‑01 | Sandra Uhlenbrock(KGRC) | $\operatorname{HOD}^{M_n(x,g)}$ is a core model | |

2016‑11‑24 | Tin Lok Wong(KGRC) | ACT forcing | |

2016‑11‑17 | Andrea Medini(KGRC) | The topology of filters | |

2016‑11‑10 | Damian Sobota(KGRC) | On the choice in Rosenthal's lemma | |

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 |