• DOI:10.1112/tlm3.12001
Corpus ID: 56360398

On the logical strengths of partial solutions to mathematical problems

@article{Bienvenu2014OnTL,
  title={On the logical strengths of partial solutions to mathematical problems},
  author={L. Bienvenu and Ludovic Patey and Paul Shafer},
  journal={arXiv: Logic},
  year={2014},
  volume={4},
  pages={30-71}
}

L. Bienvenu, Ludovic Patey, Paul Shafer

Published 2014

Mathematics

arXiv: Logic

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 Konig'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… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed