2013: Seminar talks

(See current talks)
200020012002200320042005200620072008200920102011201220132014201520162017201820192020
2013‑01‑07Aleksander Ivanov and Barbara Majcher-Iwanow
(University of Wrocław, Poland)
Polish G-spaces similar to logic G-spaces of continuous structures
2013‑01‑10Peter Holy
(Bristol University, UK)
Large Cardinals and Lightface Definable Wellorders without GCH
2013‑01‑17Jana Flašková
(University of West Bohemia in Pilsen, Czech Republic)
Van der Waerden ideal and its cardinal invariants
2013‑01‑24Claudio Ternullo
(KGRC)
Does set theory refute Platonism?
2013‑01‑31Massoud Pourmahdian
(IPM, Tehran, Iran)
First order Goedel logics
2013‑03‑07Sy-David Friedman
(KGRC)
Vaught's Conjecture, the Generic Morley Tree and Fragment Embeddings
2013‑03‑14Moritz Müller
(KGRC)
Weak pigeonhole principles
2013‑03‑21Yurii Khomskii
(KGRC)
Cichon's diagram and regularity properties
2013‑04‑11Martin Koerwien
(KGRC)
Around characterizing aleph_1
2013‑04‑18Hubie Chen
(Universidad del País Vasco, Spain and Basque Foundation for Science, Spain)
Model Checking Quantified-Conjunctive Formulas
2013‑04‑25Valentin Bura
(TU Wien, Austria)
Reverse Mathematics of Divisibility in Integral Domains
2013‑05‑02Radek Honzik
(KGRC)
More on the tree property
2013‑05‑16Philipp Schlicht
(University of Bonn, Germany)
On Generalized Choquet Spaces and Groups
2013‑06‑06Yann Strozecki
(Versailles University, France)
Simple stochastic games: a state of the art
2013‑06‑20Johanna Franklin
(University of Connecticut, USA)
Lowness in recursive model theory
2013‑06‑27Thomas Johnstone
(New York City College of Technology, USA)
Indestructibility Results for Ramsey Cardinals
2013‑06‑28Santi Spadaro
(Silesian University of Opava, Czech Republic)
Chain conditions for topological bases
2013‑10‑10Stéphane Le Roux
(TU Darmstadt, Germany)
Determinacy, a two-way bridge from logic to economics
2013‑10‑17Victor Selivanov
(A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences)
Some Hierarchies of $\mathsf{QCB_0}$-Spaces
2013‑10‑24Masahiko Sato
(Kyoto University, Japan)
Mathematics as open-ended human activities
2013‑10‑31Tin Lok Wong
(KGRC)
Some model theory of Peano arithmetic
2013‑11‑07Barnabas Farkas
(KGRC)
Some problems related to Borel ideals: Towers, Luzin-type families, forcing (in)destructibility, and more
2013‑11‑14Pavel Semukhin
(KGRC)
Automatic models of first-order theories
2013‑11‑21Giorgio Venturi
(Scuola Normale Superiore di Pisa, Italy)
Generalized side conditions
2013‑11‑28Asylkhan Khisamiev
(Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences)
Universal functions over locally finite structures
2013‑12‑05Andrea Medini
(KGRC)
Seven characterizations of non-meager P-filters
2013‑12‑12Oleg Gutik
(Ivan Franko National University of Lviv, Ukraine)
Topological semigroups: embeddings and Čech-Stone compactifications
2013‑12‑19Michael Hrušák
(Universidad Nacional Autónoma de México)
Strong measure zero in metric spaces and Polish groups

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:16.