Colloquium on Mathematical Logic

Overview of Talks given in 2010-2011

Friday September 17, 2010 UvA room A1.06 17:00 Mehrnoosh Sadrzadeh (Oxford) What is the vector space content of what we say? A compact categorical approach to meaning Abstract
Friday October 15, 2010 UvA room A1.08 17:00 Jouko Väänänen (Helsinki and Amsterdam) Dependence logic - recent developments and open problems Abstract
Monday November 15, 2010 UvA room A1.06 17:00 Rod Downey (Wellington) Yet More on Algorithmic Dimension Abstract
Friday November 26, 2010 UvA room D1.114 16:00 Marek Zawadowski (Warsaw) The Opetopic Approach to Higher Dimensional Categories Abstract
Friday November 26, 2010 UvA room D1.110 17:00 Andrew E.M. Lewis (Leeds) The search for natural definability in the Turing degrees Abstract
Wednesday January 12, 2011 UvA room A1.08 17:00 Tom Sterkenburg (ILLC) The number of K-trivial sets Abstract
Tuesday April 5, 2011 UvA room C0.110 15:00 Joerg Brendle (Kobe) A base-matrix lemma for sets of rationals modulo nowhere dense sets
Monday May 9, 2011 UvA room A1.10 16:00 Jouko Väänänen (Helsinki) Second Order Logic or Set Theory? Abstract
Monday May 16, 2011 UvA room A1.10 16:00 Juliette Kennedy (Helsinki) On Inner Models from Extended Logics Abstract
Thursday-Friday May 18-19, 2011 Groningen University 10:00-17:00 Mathematical Logic in the Netherlands Meeting web site
Thursday-Friday-Saturday May 26-28, 2011 Utrecht University 10:00-17:00 Workshop on Admissible Rules and Unification Meeting web site
Thursday June 23, 2011 UvA room A1.10 16:00 Andreas Weiermann (Gent) Provably recursive functions for PA Abstract
Thursday July 7, 2011 UvA room A1.10 16:00 Takayuki Kihara (Tohoku, Sendai) Mass Problems, Constructivism, and Learnability Abstract
Friday July 29, 2011 UvA room C1.112 16:00 Eduardo Giovannini (CONICET and Universidad Nacional del Litoral, Argentina) Hilbert's Early View on Completeness and Categoricity Abstract