Journal of Symbolic Logic

Comparing DNR and WWKL

Klaus Ambos-Spies,Bjørn Kjos-Hanssen,Steffen Lempp, and Theodore A. Slaman

Full-text: Access denied (no subscription detected) 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

Abstract

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).

Article information

Source
J. Symbolic Logic Volume 69, Issue 4 (2004), 1089-1104.

Dates
First available: 2 December 2004

Permanent link to this document
http://projecteuclid.org/euclid.jsl/1102022212

Digital Object Identifier
doi:10.2178/jsl/1102022212

Zentralblatt MATH identifier
1076.03039

Mathematical Reviews number (MathSciNet)
MR2135656

Subjects
Primary: 03D28: Other Turing degree structures 03F35: Second- and higher-order arithmetic and fragments [See also 03B30]
Secondary: 03F60: Constructive and recursive analysis [See also 03B30, 03D45, 03D78, 26E40, 46S30, 47S30]

Keywords
reverse mathematics diagonally non-recursive functions Turing degrees

Citation

Ambos-Spies, Klaus; Kjos-Hanssen, Bjørn; Lempp, Steffen; Slaman, Theodore A. Comparing DNR and WWKL. Journal of Symbolic Logic 69 (2004), no. 4, 1089--1104. doi:10.2178/jsl/1102022212. http://projecteuclid.org/euclid.jsl/1102022212.


Export citation

References

  • 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.
  • 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.
  • Masahiro Kumabe A fixed-point free minimal degree, 51 pages, unpublished,1996.
  • Per Martin-Löf Notes on constructive mathematics, Almqvist & Wiksell, Stockholm,1970.
  • 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.