Effective topos
Encyclopedia
In mathematics, the effective topos is a topos
introduced by , based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.
Topos
In mathematics, a topos is a type of category that behaves like the category of sheaves of sets on a topological space...
introduced by , based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.