Separating principles below WKL0

Mathematical Logic Quarterly 62 (6):507-529 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Non‐standard Analysis in WKL 0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
On violating the GCH below the least measurable cardinal.D. H. Pelletier - 1975 - Mathematical Logic Quarterly 21 (1):361-364.
Embedding Lattices with Top Preserved Below Non‐GL2 Degrees.Peter A. Fejer - 1989 - Mathematical Logic Quarterly 35 (1):3-14.
Graph Coloring and Reverse Mathematics.James H. Schmerl - 2000 - Mathematical Logic Quarterly 46 (4):543-548.
On Principles of Inductive Definition.Bernhard Banaschewski - 1960 - Mathematical Logic Quarterly 6 (15-22):248-257.
On Principles of Inductive Definition.Bernhard Banaschewski - 1960 - Mathematical Logic Quarterly 6 (15‐22):248-257.
New proofs of some intuitionistic principles.J. Lambek & P. J. Scott - 1983 - Mathematical Logic Quarterly 29 (10):493-504.
Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.

Analytics

Added to PP
2017-03-26

Downloads
11 (#1,167,245)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

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.
RT₂² does not imply WKL₀.Jiayi Liu - 2012 - Journal of Symbolic Logic 77 (2):609-620.
RT2 2 does not imply WKL0.Jiayi Liu - 2012 - Journal of Symbolic Logic 77 (2):609-620.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.

View all 6 references / Add more references