The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable.

Joshua A. Cole Takayuki Kihara

Published in: Arch. Math. Log. (2010)

Keyphrases

general theory
information systems
theoretical framework
information retrieval
special case
theoretical foundation
information theory
belief functions
theoretical basis