Separating principles below WKL0
Mathematical Logic Quarterly 62 (6):507-529 (2016)
Abstract
This article has no associated abstract. (fix it)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
The self-embedding theorem of WKL0 and a non-standard method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
N? Sets and models of wkl0.Stephen G. Simpson - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--352.
Density of the Medvedev lattice of Π0 1 classes.Douglas Cenzer & Peter G. Hinman - 2003 - Archive for Mathematical Logic 42 (6):583-600.
Separating club-guessing principles in the presence of fat forcing axioms.David Asperó & Miguel Angel Mota - 2016 - Annals of Pure and Applied Logic 167 (3):284-308.
A new conservation result of WKL 0 over RCA 0.António Marques Fernandes - 2002 - Archive for Mathematical Logic 41 (1):55-63.
ℙmax variations for separating club guessing principles.Tetsuya Ishiu & Paul B. Larson - 2012 - Journal of Symbolic Logic 77 (2):532-544.
Separating weak partial square principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
Health care and human rights: against the split duty gambit.Gopal Sreenivasan - 2016 - Theoretical Medicine and Bioethics 37 (4):343-364.
WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Analytics
Added to PP
2017-03-26
Downloads
5 (#1,170,954)
6 months
1 (#455,463)
2017-03-26
Downloads
5 (#1,170,954)
6 months
1 (#455,463)
Historical graph of downloads
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.
Separating principles below Ramsey's theorem for pairs.Manuel Lerman, Reed Solomon & Henry Towsner - 2013 - Journal of Mathematical Logic 13 (2):1350007.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
