Source: J. Symbolic Logic
Volume 69, Issue 4
In Reverse Mathematics, the axiom system DNR, asserting the existence
of diagonally non-recursive functions, is strictly weaker than
WWKL0 (weak weak König's Lemma).
Full-text: Access denied (no subscription
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Klaus Ambos-Spies and Antonín Kučera Randomness in computability theory, Computability theory and its applications (Boulder, CO, 1999), Contemporary Mathematics, vol. 257, American Mathematical Society, Providence, RI,2000, pp. 1--14.
Douglas K. Brown, Mariagnese Giusto, and Stephen G. Simpson Vitali's theorem and WWKL, Archive for Mathematical Logic, vol. 41 (2002), no. 2, pp. 191--206.
Harvey Friedman Some systems of second order arithmetic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1, Canadian Mathematical Congress, Montreal, Quebec,1975, pp. 235--242.
Mathematical Reviews (MathSciNet): MR429508
Mariagnese Giusto and Stephen G. Simpson Located sets and reverse mathematics, Journal of Symbolic Logic, vol. 65 (2000), no. 3, pp. 1451--1480.
Carl G. Jockusch, Jr. Degrees of functions with no fixed points, Logic, methodology and philosophy of science, VIII (Moscow, 1987), Studies in Logic and the Foundations of Mathematics, vol. 126, North-Holland, Amsterdam,1989, pp. 191--201.
Antonín Kučera Measure, $\Pi^0_1$-classes and complete extensions of $\textupPA$, Recursion theory week (Oberwolfach, 1984) (H.D. Ebbinghaus, G.H. Müller, and G.E. Sacks, editors), Lecture Notes in Math., vol. 1141, Springer, Berlin,1985, pp. 245--259.
Mathematical Reviews (MathSciNet): MR820784
Masahiro Kumabe A fixed-point free minimal degree, 51 pages, unpublished,1996.
Per Martin-Löf Notes on constructive mathematics, Almqvist & Wiksell, Stockholm,1970.
Mathematical Reviews (MathSciNet): MR485251
Stephen G. Simpson Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin,1999.
Xiaokang Yu and Stephen G. Simpson Measure theory and weak König's lemma, Archive for Mathematical Logic, vol. 30 (1990), no. 3, pp. 171--180.