Sebastiaan Terwijn. Kripke Models, Distributive Lattices, and Medvedev Degrees. In S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, editors, New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Volume 3526 of Lecture Notes in Computer Science, pages 486-494, Springer, 2005. [doi]
Abstract is missing.