Title: Order and recursion in topoi
Subjects: Recursion theory, Toposes