Search results

In computability theory, a set S of natural numbers is called computably enumerable (c.e.), recursively enumerable (r.e.), semidecidable, partially decidable...

In mathematics, the effective topos E f f {\displaystyle {\mathsf {Eff}}} introduced by Martin Hyland (1982) captures the mathematical idea of effectivity...

In deformation theory, a branch of mathematics, Deligne's conjecture is about the operadic structure on Hochschild cochain complex. Various proofs have...