Comparing DNR and WWKL

Comparing DNR and WWKL

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

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

Abstract

In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL₀ (weak weak König's Lemma).

First Page: Show

Primary Subjects: 03D28, 03F35

Secondary Subjects: 03F60

Keywords: reverse mathematics; diagonally non-recursive functions; Turing degrees

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

Links and Identifiers

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

back to Table of Contents

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.

Mathematical Reviews (MathSciNet): MR1770730

Zentralblatt MATH: 0962.03039

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.

Mathematical Reviews (MathSciNet): MR1890192

Digital Object Identifier: doi:10.1007/s001530100100

Zentralblatt MATH: 1030.03044

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

Zentralblatt MATH: 0344.02022

Mariagnese Giusto and Stephen G. Simpson Located sets and reverse mathematics, Journal of Symbolic Logic, vol. 65 (2000), no. 3, pp. 1451--1480.

Mathematical Reviews (MathSciNet): MR1791384

JSTOR: links.jstor.org

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.

Mathematical Reviews (MathSciNet): MR1034562

Zentralblatt MATH: 0694.03027

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.

Mathematical Reviews (MathSciNet): MR1723993

Zentralblatt MATH: 0909.03048

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.

Mathematical Reviews (MathSciNet): MR1080236

previous :: next