Kurt Gödel Research Center

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.)

2016‑10‑13	TBA (TBA)	TBA
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