Bienvenu, L, Patey, L and Shafer, P orcid.org/0000-0001-5386-9218 (2017) On the logical strengths of partial solutions to mathematical problems. Transactions of the London Mathematical Society, 4 (1). pp. 30-71. ISSN 2052-4986
Abstract
We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood [‘Reverse mathematics and a Ramsey-type König's lemma’, J. Symb. Log. 77 (2012) 1272–1280], we say that a Ramsey-type variant of a problem is the problem with the same instances but whose solutions are the infinite partial solutions to the original problem. We study Ramsey-type variants of problems related to König's lemma, such as restrictions of König's lemma, Boolean satisfiability problems and graph coloring problems. We find that sometimes the Ramsey-type variant of a problem is strictly easier than the original problem (as Flood showed with weak König's lemma) and that sometimes the Ramsey-type variant of a problem is equivalent to the original problem. We show that the Ramsey-type variant of weak König's lemma is robust in the sense of Montalbán [‘Open questions in reverse mathematics’, Bull. Symb. Log. 17 (2011) 431–454]: it is equivalent to several perturbations. We also clarify the relationship between Ramsey-type weak König's lemma and algorithmic randomness by showing that Ramsey-type weak weak König's lemma is equivalent to the problem of finding diagonally non-recursive functions and that these problems are strictly easier than Ramsey-type weak König's lemma. This answers a question of Flood.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2017 The Authors. The Transactions of the London Mathematical Society is copyright © London Mathematical Society. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited. |
Keywords: | 03B30; 03F35; 05C15; 05D10; 03D32 (primary) |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 24 Feb 2017 13:05 |
Last Modified: | 23 Jun 2023 22:22 |
Status: | Published |
Publisher: | London Mathematical Society |
Identification Number: | 10.1112/tlm3.12001 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:111914 |
Download
Filename: Bienvenu_et_al-2017-Transactions_of_the_London_Mathematical_Society.pdf
Licence: CC-BY 4.0