Effectivity and effective continuity of multifunctions

Dieter Spreen

(Siegen (visiting Swansea))

Multifunctions are used with great success in analysis and logic. In the talk different effectivity notions for such functions are discussed as well as effective versions of various continuity notions proposed in the literature. A general result on the effective continuity of effective multifunctions is presented and some important special cases are discussed.
Thursday 15th May 2008, 14:00
Robert Recorde Room
Department of Computer Science