Speaker
Erich Faber
(University of Utrecht)

Abstract
The theory of partial combinatory algebras can be regarded as a generalization of both recursion theory and the theory of realizability. Partial combinatory algebras give rise to structures called realizability toposes, the archetype of which is the effective topos. The combination of the geometrical nature of a topos and the computational character of a partial combinatory algebra yields an interesting theory in which a lot is still to discover. In my talk, I will treat both sides, and discuss some results of my thesis that, for example, point out the role of generalized relative recursion in this study.

Slides.pdf