[Alta-Logic] peripatetic seminar

[Pieter Hofstra]

Time: Wednesday 2pm

Place: SS1253

Speaker: Pieter Hofstra

Title: Towards a geometry for realizability

Abstract: Two seemingly unrelated areas of research, namely
realizability (a semantics for arithmetic based on recursion), and the
theory of Grothendieck toposes, were brought together around 1980,
through the invention of Realizability toposes. 
I will give an introduction to realizability and toposes, explain what a
realizability topos is, and discuss some recent results.