Effective topos

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the effective topos is a topos introduced by Martin Hyland (1982), based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.

References[edit]