BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logical dependence via functional dependence - Paulo Oliva\, Queen
  Mary\, University of London
DTSTART:20160422T130000Z
DTEND:20160422T140000Z
UID:TALK65051@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:The Curry-Howard correspondence\, realizability and Gödel’s
  functional interpretations are all examples of how one can capture or int
 erpret logical dependence through functional dependence. In an intuitionis
 tic setting this correspondence might not seem so surprising since an intu
 itionistic logical dependence is normally defined through functional one. 
 This becomes much more subtle when one moves to classical logic\, arithmet
 ic\, and analysis\, where proofs by contradiction combined that use induct
 ion or choice principles can have unexpected higher-order functional inter
 pretations [1\,2]. More recently we have been applying such techniques dev
 eloped in for the proof theory of classical analysis into the field of str
 ategic game theory [3\,4]. This talk aims to explain the basic techniques 
 and concepts\, and how they have been applied to improve the modelling of 
 multi-player strategic games.\n\n[1] Paulo Oliva and Thomas Powell\, A con
 structive interpretation of Ramsey's theorem via the product of selection 
 functions\, Mathematical Structures in Computer Science\, 24 pages\, 2014\
 n\n[2] Martín Escardó and Paulo Oliva\, Bar recursion and products of se
 lection functions\, The Journal of Symbolic Logic\, 80(1):1-28\, 2015\n\n[
 3] Jules Hedges\, Paulo Oliva\, Evguenia Winschel\, Viktor Winschel and Ph
 ilipp Zahn\, Higher-order decision theory\, Submitted for publication (see
  ArXiv)\, 2015\n\n[4] Jules Hedges\, Paulo Oliva\, Evguenia Winschel\, Vik
 tor Winschel and Philipp Zahn\, Representing strategic games with higher-o
 rder functions\, Submitted for publication (see ArXiv)\, 2015
LOCATION:FW26
END:VEVENT
END:VCALENDAR