Classifying the Branching Degrees in the Medvedev Lattice of Π 1 0 Classes
-
Published:2008-07-01
Issue:3
Volume:49
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Author:
Alfeld Christopher P.
Publisher
Duke University Press
Reference11 articles.
1. [2] Binns, S., "A splitting theorem for the Medvedev and Muchnik lattices", Mathematical Logic Quarterly, vol. 49 (2003), pp. 327–35. 2. [3] Cenzer, D., and P. G. Hinman, "Density of the Medvedev lattice of $\Pi\sp 0\sb 1$" classes, Archive for Mathematical Logic, vol. 42 (2003), pp. 583–600. 3. [4] Cenzer, D., and C. G. Jockusch, Jr., "$\Pi\sb 1\sp 0$" classes–-Structure and applications", pp. 39–59 in Computability Theory and Its Applications (Boulder, CO, 1999), vol. 257 of Contempory Mathematics, American Mathematics Society, Providence, 2000. 4. [5] Cenzer, D., and J. B. Remmel, "$\Pi\sp 0\sb 1$" classes in mathematics", pp. 623–821 in Handbook of Recursive Mathematics, Vol. 2, vol. 139 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998. 5. [6] Jockusch, C. G., Jr., and R. I. Soare, "$\Pi \sp{0}\sb{1}$" classes and degrees of theories", Transactions of the American Mathematical Society, vol. 173 (1972), pp. 33–56.
|
|