April 6, 2021
Title: Partial Combinatory Algebras - Variations on a Topos-theoretic Theme
Speaker: Jaap van Oosten
One of the cornerstones of Logic is the theory of computable functions. In this talk, we show that a common axiomatics underlies both the set of computable functions and certain spaces of continuous functions. The models of these axioms - partial combinatory algebras - serve as building blocks of certain elementary toposes. In the talk, I shall endeavour to familiarize you with the basic ideas. Towards the end, I will point out some recent work by Jetze Zoethout.