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)
20002001200220032004200520062007200820092010201120122013201420152016
2016‑12‑01Sandra Uhlenbrock
(KGRC)
$\operatorname{HOD}^{M_n(x,g)}$ is a core modelSandra Uhlenbrock
2016‑11‑24Tin Lok Wong
(KGRC)
ACT forcingTin Lok Wong
2016‑11‑17Andrea Medini
(KGRC)
The topology of filtersAndrea Medini
2016‑11‑10Damian Sobota
(KGRC)
On the choice in Rosenthal's lemmaDamian Sobota
2016‑11‑03Raphaël Carroy
(KGRC)
Linear orders: when embedding and epimorphism coincideRaphaël Carroy
2016‑10‑27Boaz Tsaban
(Bar-Ilan University, Tel Aviv, Israel)
On the existence of real Fréchet-Urysohn function spacesBoaz Tsaban
2016‑10‑20Piotr Szewczak
(Cardinal Stefan Wyszynski University in Warsaw, Poland)
Products of Menger spacesPiotr Szewczak
2016‑10‑13Daniel Soukup
(KGRC)
Some graph theory from the RockiesDaniel Soukup
2016‑10‑03Ján Pich
(KGRC)
Complexity theory in feasible mathematicsJán Pich
2016‑07‑14Arnold W. Miller
(University of Wisconsin - Madison, USA)
On the length of Borel hierarchiesArnold W. Miller
2016‑06‑30Rachid Atmai
(KGRC)
Descriptive inner model theory and consistency results in ZFC from determinacyRachid Atmai
2016‑06‑28Peter Nyikos
(University of South Carolina, Columbia, USA)
A forcing built around a coherent Souslin tree and its uses for normal, locally compact spacesPeter Nyikos
2016‑06‑16Neil Barton
(KGRC)
(Sub)systems of second-order set theoryNeil Barton
2016‑06‑09Sandra Uhlenbrock
(Westfälische Wilhelms-Universität Münster, Germany)
Hybrid Mice and Determinacy in the $L(\mathbb{R})$-hierarchySandra Uhlenbrock
2016‑06‑02David Chodounský
(Academy of Sciences of the Czech Republic, Prague)
Forcing variations of the Martin's AxiomDavid Chodounský
2016‑05‑19Otmar Spinas
(Christian-Albrechts-Universität zu Kiel, Schleswig-Holstein, Germany)
Tukey relations between the Mycielski and the meager and null idealsOtmar Spinas
2016‑05‑13Paul Gartside
(University of Pittsburgh, Pennsylvania, USA)
Neighborhoods, Compacta and the Tukey OrderPaul Gartside
2016‑05‑12Anush Tserunyan
(University of Illinois at Urbana-Champaign, USA)
Differentiation of subsets of semigroups, a Ramsey theorem, and a van der Corput lemmaAnush Tserunyan
2016‑04‑28Jan van Mill
(University of Amsterdam, The Netherlands)
The existence of a connected meager in itself CDH space is independent of ZFCJan van Mill
2016‑04‑21Jerzy Kąkol
(Adam Mickiewicz University Poznań, Poland)
Selected topics for the weak topology of Banach spacesJerzy Kąkol
2016‑04‑14Yue Yang
(National University of Singapore, Singapore)
A Normal Form Theorem of Computation on Real NumbersYue Yang
2016‑04‑07Radek Honzík
(Charles University in Prague, Czech Republic)
The tree property and the continuum function below $\aleph_\omega$Radek Honzík
2016‑03‑17Ben Miller
(KGRC)
A basis theorem for the complement of the first Baire classBen Miller
2016‑03‑10Sy-David Friedman
(KGRC)
Descriptive Set Theory and AbsolutenessSy-David Friedman
2016‑03‑03Yann Pequignot
(KGRC)
From well to better, the space of idealsYann Pequignot
2016‑02‑11Keita 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 colorsKeita Yokoyama
2016‑01‑21Ari Brodsky
(Bar-Ilan University, Tel Aviv, Israel)
Custom-made Souslin treesAri Brodsky
2016‑01‑14Leszek Kołodziejczyk
(University of Warsaw, Poland)
How unprovable is Rabin's decidability theorem?Leszek Kołodziejczyk
2016‑01‑07David Schrittesser
(University of Copenhagen, Denmark)
Maximal discrete sets with large continuumDavid Schrittesser

Bottom menu

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