We will see how the notion of Medvedev's mass problem allows to extend the classical algorithmic reducibilities to the algebraic structures. In particular, the studies of degree spectra of structures can be considered as a development of the structural theory of the non-uniform reducibility of mass problems of presentability.
Algorithmic reducibilities of algebraic structures
21.10.2010 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25