2016: Seminar talks

(See current talks)
2016‑01‑07David Schrittesser
(University of Copenhagen, Denmark)
Maximal discrete sets with large continuumDavid Schrittesser
2016‑01‑14Leszek Kołodziejczyk
(University of Warsaw, Poland)
How unprovable is Rabin's decidability theorem?Leszek Kołodziejczyk
2016‑01‑21Ari Brodsky
(Bar-Ilan University, Tel Aviv, Israel)
Custom-made Souslin treesAri Brodsky
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‑03‑03Yann Pequignot
From well to better, the space of idealsYann Pequignot
2016‑03‑10Sy-David Friedman
Descriptive Set Theory and AbsolutenessSy-David Friedman
2016‑03‑17Ben Miller
A basis theorem for the complement of the first Baire classBen Miller
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‑04‑14Yue Yang
(National University of Singapore, Singapore)
A Normal Form Theorem of Computation on Real NumbersYue Yang
2016‑04‑21Jerzy Kąkol
(Adam Mickiewicz University Poznań, Poland)
Selected topics for the weak topology of Banach spacesJerzy Kąkol
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‑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‑05‑13Paul Gartside
(University of Pittsburgh, Pennsylvania, USA)
Neighborhoods, Compacta and the Tukey OrderPaul Gartside
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‑06‑02David Chodounský
(Academy of Sciences of the Czech Republic, Prague)
Forcing variations of the Martin's AxiomDavid Chodounský
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‑16Neil Barton
(Sub)systems of second-order set theoryNeil Barton
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‑30Rachid Atmai
Descriptive inner model theory and consistency results in ZFC from determinacyRachid Atmai
2016‑07‑14Arnold W. Miller
(University of Wisconsin - Madison, USA)
On the length of Borel hierarchiesArnold W. Miller
2016‑10‑03Ján Pich
Complexity theory in feasible mathematicsJán Pich
2016‑10‑13Daniel Soukup
Some graph theory from the RockiesDaniel Soukup
2016‑10‑20Piotr Szewczak
(Cardinal Stefan Wyszynski University in Warsaw, Poland)
Products of Menger spacesPiotr Szewczak
2016‑10‑27Boaz Tsaban
(Bar-Ilan University, Tel Aviv, Israel)
On the existence of real Fréchet-Urysohn function spacesBoaz Tsaban
2016‑11‑03Raphaël Carroy
Linear orders: when embedding and epimorphism coincideRaphaël Carroy
2016‑11‑10Damian Sobota
On the choice in Rosenthal's lemmaDamian Sobota
2016‑11‑17Andrea Medini
The topology of filtersAndrea Medini
2016‑11‑24Tin Lok Wong
ACT forcingTin Lok Wong
2016‑12‑01Sandra Uhlenbrock
$\operatorname{HOD}^{M_n(x,g)}$ is a core modelSandra Uhlenbrock

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: 2017-02-08, 20:07.