2017: Seminar talks

(See current talks)
200020012002200320042005200620072008200920102011201220132014201520162017201820192020
2017‑01‑12Riccardo Camerlo
(Politecnico di Torino, Italy)
The density function: some remarks, results, and open problemsRiccardo Camerlo
2017‑01‑19Leandro Aurichi
(University of São Paulo, Brazil)
A characterization for productively ccc spacesLeandro Aurichi
2017‑01‑26Michal Garlík
(Czech Academy of Sciences)
Bounded arithmetic and restricted reduced productsMichal Garlík
2017‑03‑02Brent M. Cody
(Virginia Commonwealth University, Richmond, USA)
Rigid IdealsBrent M. Cody
2017‑03‑09Yizheng Zhu
(Universität Münster, Germany)
Projective sets and inner modelsYizheng Zhu
2017‑03‑16Vassilis Gregoriades
(University of Turin, Italy)
The Dyck and Preiss Separation UniformlyVassilis Gregoriades
2017‑03‑23Michał Tomasz Godziszewski
(University of Warsaw, Poland)
Computable quotient presentations of models of arithmetic and set theoryMichał Tomasz Godziszewski
2017‑03‑30Luca Motto Ros
(University of Turin, Italy)
Ultrametric spaces, isometry, and isometry groupsLuca Motto Ros
2017‑04‑06Peter Holy
(University of Bonn, Germany)
Small embedding characterizations for large cardinals, and internal large cardinalsPeter Holy
2017‑04‑26Matteo Viale
(Università di Torino, Italy)
Useful axiomsMatteo Viale
2017‑04‑27Alberto Marcone
(Università di Udine, Italy)
Some results about the higher levels of the Weihrauch latticeAlberto Marcone
2017‑05‑04Víctor Torres-Pérez
(TU Wien)
Rado's Conjecture, an alternative to forcing axioms?Víctor Torres-Pérez
2017‑05‑11Stefan Hoffelner
(KGRC)
$\text{NS}_{\omega_1}$ saturated and a $\Sigma^{1}_{4}$-definable wellorder on the realsStefan Hoffelner
2017‑05‑18Victoria Gitman
(CUNY Graduate Center, New York, USA)
A model of second-order arithmetic with the choice scheme in which $\Pi^1_2$-dependent choice failsVictoria Gitman
2017‑06‑01Vincenzo Dimonte
(University of Udine, Italy)
Talk canceled 
2017‑06‑08Zoltán Vidnyánszky
(York University, Toronto, Canada and Toronto University)
Borel chromatic numbers: finite vs infiniteZoltán Vidnyánszky
2017‑06‑22David Schrittesser
(University of Copenhagen, Denmark)
News on mad familiesDavid Schrittesser
2017‑06‑29Peter Nyikos
(University of South Carolina, Columbia, USA)
Cardinality restrictions on some kinds of locally compact spacesPeter Nyikos
2017‑06‑29Witold Marciszewski
(University of Warsaw, Poland)
On factorization properties of function spacesWitold Marciszewski
2017‑08‑17Yijia Chen
(Fudan University, Shanghai, People's Republic of China)
Slicewise definability in first-order logic with bounded quantifier rankYijia Chen
2017‑09‑26Kameryn Williams
(Graduate Center, City University of New York (CUNY), USA)
The exact strength of the class forcing theoremKameryn Williams
2017‑10‑05Mohammad Golshani
(Institute for Research in Fundamental Sciences (IPM), Tehran, Iran)
Some properties of Cohen and random realsMohammad Golshani
2017‑10‑12Yizheng Zhu
(Universität Münster, Germany)
Iterates of $M_1$Yizheng Zhu
2017‑10‑19Monroe Eskew
(KGRC)
Global Chang’s ConjectureMonroe Eskew
2017‑11‑09Zoltán Vidnyánszky
(KGRC)
Random elements of large groupsZoltán Vidnyánszky
2017‑11‑16Paul Ellis
(Manhattanville College, New York, USA)
Cycle Reversions and Dichromatic Number in (Infinite) TournamentsPaul Ellis
2017‑11‑23Russell Miller
(Queens College, City University of New York (CUNY), USA)
Isomorphism and Classification for Countable StructuresRussell Miller
2017‑11‑30Maxwell Levine
(KGRC)
Forcing Square SequencesMaxwell Levine
2017‑12‑07Hubie Chen
(Birkbeck, University of London, UK)
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of HardnessHubie Chen
2017‑12‑14Moritz Müller
(KGRC)
On the relative strength of finitary combinatorial principlesMoritz Müller

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: 2018-05-23, 17:29.