20 May 2015, Seminar on Provability, Interpretability, Intuitionism and Arithmetic, Room G2.13, Science Park 904, Amsterdam

We will have a session with two speakers. You are kindly invited to attend.

Speaker 1: Jeroen Goudsmit (Utrecht University)
Title: Finite frames fail: How Infinity Works its Way into the Semantics of Admissibility

Speaker 2: Rutger Kuyper (Radboud University Nijmegen)
Title: Intuitionistic logic, computability, and the Medvedev and Muchnik lattices

For more information, see http://phil.uu.nl/piia/