2015: Seminar talks

(See current talks)
2015‑01‑08Vera Fischer
(TU Wien)
Measure, category and projective wellorders 
2015‑01‑15Daniel Soukup
(University of Toronto, Canada)
Trees, ladders and graphs 
2015‑01‑22Franqui Solis Cárdenas Poloche
(Universidad Nacional de Colombia)
Unfoldable cardinals and some related problems 
2015‑01‑29Seçil Tokgöz
(Hacettepe Üniversitesi, Ankara, Turkey)
Paracompactness and Remainders 
2015‑02‑20Natasha Dobrinen
(Denver University, Colorado, USA)
High and higher dimensional Ellentuck spaces and Tukey and Rudin-Keisler initial structures of non-p-points 
2015‑03‑05Sandra Uhlenbrock
(Universität Münster, Germany)
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses 
2015‑03‑19Vincenzo Dimonte
(TU Wien)
Generic I0 at $\aleph_\omega$ 
2015‑03‑26Radek Honzik
Satisfaction in outer models 
2015‑04‑16Wei Li
Fragments of Kripke-Platek Set Theory 
2015‑04‑23Benjamin Miller
Definable perfect matchings 
2015‑04‑30Lyubomyr Zdomskyy
Remainders of topological groups and Grigorieff forcing 
2015‑05‑07Ali Enayat
(University of Gothenburg, Sweden)
Flexible Turing Machines 
2015‑05‑21Piotr Borodulin-Nadzieja
(Wrocław University, Poland)
Measure-theoretic Suslin Hypothesis 
2015‑05‑27Peter Holy
(Universität Bonn, Germany)
Non-pretame Class Forcing and the Forcing Theorem, the axioms of ZFC and non-definable Class Forcing 
2015‑05‑28Liang Yu
(Nanjing University, Nanjing, PR of China)
CH and Cofinal maximal chains in the Turing degrees 
2015‑06‑11Clinton Conley
(Cornell University, New York, USA)
Strong treeability of planar groups 
2015‑06‑18David Schrittesser
(University of Copenhagen, Denmark)
Maximal discrete sets in arboreal forcing extensions 
2015‑06‑25Peter Schuster
(University of Verona, Italy, currently Humboldt returning fellow at the Munich Center for Mathematical Philosophy, Germany)
Eliminating Disjunctions by Disjunction Elimination 
2015‑07‑02Dana S. Scott
(Carnegie Mellon University, Pittsburgh, Pennsylvania, USA and UC Berkeley, California, USA)
Lambda-Calculus and Dependent Type TheoryDana S. Scott
2015‑07‑09David Chodounský
(Academy of Sciences of the Czech Republic)
Properties intermediate between master and strong masterDavid Chodounský
2015‑10‑01Tetsuo Ida
(University of Tsukuba, Japan)
On Hestenes' geometric algebra: its formalization by the proof assistant and application to computational origamiTetsuo Ida
2015‑10‑08Rachid Atmai
The inner model problem and descriptive inner model theoryRachid Atmai
2015‑10‑15David Schrittesser
(University of Copenhagen, Denmark)
Maximal independent sets in forcing extensionsDavid Schrittesser
2015‑10‑22Hubie Chen
(University of the Basque Country, Spain)
The Parameterized Complexity Classification of – and the Logic of – Counting Answers to Existential Positive QueriesHubie Chen
2015‑10‑29Moritz Müller
Cobham recursive set functions and weak set theoriesMoritz Müller
2015‑11‑05Diego Alejandro Mejía Guzmán
(TU Wien)
Separating the left side of Cichon's diagramDiego Alejandro Mejía Guzmán
2015‑11‑12Victor Selivanov
(A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences)
On Weihrauch degrees of k-partitions of the Baire spaceVictor Selivanov
2015‑11‑19Barnabás Farkas
Towers in Borel filtersBarnabás Farkas
2015‑11‑26Asger Törnquist
(University of Copenhagen, Denmark)
Around the definability of maximal eventually different familiesAsger Törnquist
2015‑12‑03Daniel Soukup
(Hungarian Academy of Sciences, Budapest, Hungary)
Uniformization properties in connection to graph colouringsDaniel Soukup
2015‑12‑04Sheila Miller
(New York City College of Technology, CUNY, USA)
The nature of measurement in set theorySheila Miller
2015‑12‑10Damian Sobota
(Polish Academy of Sciences, Warsaw)
The Nikodym property and cardinal invariants of the continuumDamian Sobota
2015‑12‑11Jonathan Verner
(Charles University in Prague, Czech Republic)
Ramsey Partitions of Metric SpacesJonathan Verner
2015‑12‑17Wei Li
Reverse mathematics in $\omega$ categoricityWei Li

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: 2015-12-31, 20:29.