Journal of Mathematical Logic 20 (3):2050017 (2020)

Abstract
We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain–Antichain (CAC) Principle. Using this method, we are able to prove several new separations in the presence of Weak König’s Lemma (WKL), including showing that CAC+WKL does not imply the thin set theorem for pairs, and that the principle “the product of well-quasi-orders is a well-quasi-order” is strictly between CAC and the Ascending/Descending Sequences principle, even in the presence of WKL.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/s0219061320500178
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,735
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

An Axiomatic Approach to Aristotle’s Ethics.Michael Winter - 2001 - Proceedings of the American Catholic Philosophical Association 75:211-220.
An Axiomatic Approach to Aristotle’s Ethics.Michael Winter - 2001 - Proceedings of the American Catholic Philosophical Association 75:211-220.
Backwards Easton Forcing and 0#. [REVIEW]M. C. Stanley - 1988 - Journal of Symbolic Logic 53 (3):809 - 833.
Weaker variants of infinite time Turing machines.Matteo Bianchetti - 2020 - Archive for Mathematical Logic 59 (3-4):335-365.
Constructing Europe Step by Step?Paolo Costa & Katarzyna Kasia - 2009 - Dialogue and Universalism 19 (3-5):293-298.
Constructing Family: Descriptive Practice and Domestic Order.James A. Holstein & Jaber F. Gubrium - 1994 - In Theodore R. Sarbin & John I. Kitsuse (eds.), Constructing the Social. Sage Publications. pp. 232--250.

Analytics

Added to PP index
2020-03-26

Total views
4 ( #1,224,047 of 2,432,438 )

Recent downloads (6 months)
1 ( #465,713 of 2,432,438 )

How can I increase my downloads?

Downloads

My notes