Constructing sequences one step at a time

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

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.
How to prove it: a structured approach.Daniel J. Velleman - 1994 - Cambridge ; New York: Cambridge University Press.
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. Thousand Oaks, Calif.: Sage Publications. pp. 232--250.

Analytics

Added to PP
2020-03-26

Downloads
10 (#1,219,902)

6 months
3 (#1,044,897)

Historical graph of downloads
How can I increase my downloads?