- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Comparing DNR and WWKL
Journal of Symbolic Logic 69 (4):1089-1104 (2004)
Abstract
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Philo's Argument for Divine Amorality Reconsidered.Klaas J. Kraay - 2003 - Hume Studies 29 (2):283-304.
The Case of Do-Not-Resuscitate (DNR) Orders and the Intellectually Disabled Patient.Martin G. Leever, Kenneth Richter, Peg Nelson, Christopher J. Allman & Duncan Wyeth - 2012 - HEC Forum 24 (2):83-90.
Leave Current System of Universal CPR and Patient Request of DNR Orders in Place.Eli Feen - 2010 - American Journal of Bioethics 10 (1):80-81.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
The Conversation Around CPR/DNR Should Not Be Revived—At Least for Now.Robert D. Truog - 2010 - American Journal of Bioethics 10 (1):84-85.
Increasing use of DNR orders in the elderly worldwide: whose choice is it?E. P. Cherniack - 2002 - Journal of Medical Ethics 28 (5):303-307.
Scale of levels of care versus DNR orders.D. Vanpee - 2004 - Journal of Medical Ethics 30 (4):351-352.
The Spectrum of Our Obligations: DNR in Public Schools.Kathryn L. Weise - 2005 - American Journal of Bioethics 5 (1):81-83.
Response to: increasing use of DNR orders in the elderly worldwide: whose choice is it.A. D. Lawson - 2003 - Journal of Medical Ethics 29 (6):372-373.
Evaluation of do not resuscitate orders (DNR) in a Swiss community hospital.N. Junod Perron - 2002 - Journal of Medical Ethics 28 (6):364-367.
Survey of State EMS-DNR Laws and Protocols.Charles P. Sabatino - 1999 - Journal of Law, Medicine and Ethics 27 (4):297-315.
Analytics
Added to PP
2010-08-24
Downloads
41 (#380,229)
6 months
9 (#295,075)
2010-08-24
Downloads
41 (#380,229)
6 months
9 (#295,075)
Historical graph of downloads
Author's Profile
Citations of this work
Propagation of partial randomness.Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):742-758.
Ramsey-type graph coloring and diagonal non-computability.Ludovic Patey - 2015 - Archive for Mathematical Logic 54 (7-8):899-914.
A DNC function that computes no effectively bi-immune set.Achilles A. Beros - 2015 - Archive for Mathematical Logic 54 (5-6):521-530.
Subsystems of second-order arithmetic between RCA0 and WKL0.Carl Mummert - 2008 - Archive for Mathematical Logic 47 (3):205-210.
Separating principles below WKL0.Stephen Flood & Henry Towsner - 2016 - Mathematical Logic Quarterly 62 (6):507-529.
References found in this work
Measure theory and weak König's lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo