210406 Jaap van Oosten

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.

Bookmark the permalink.

Comments are closed