We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Constructing sequences one step at a time.
- Authors
Towsner, Henry
- Abstract
We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain–Antichain (C A C) Principle. Using this method, we are able to prove several new separations in the presence of Weak König's Lemma (W K L), including showing that C A C + W K L 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 C A C and the Ascending/Descending Sequences principle, even in the presence of W K L.
- Subjects
REVERSE mathematics; TIME
- Publication
Journal of Mathematical Logic, 2020, Vol 20, Issue 3, pN.PAG
- ISSN
0219-0613
- Publication type
Article
- DOI
10.1142/S0219061320500178