Back to Results
First PageMeta Content
Computability theory / Logic / Proof theory / Mathematics / Mathematical logic / Reverse mathematics / Model theory / Philosophy of mathematics / Symbol / Fixed-point theorems / Primitive recursive functional / Generalised Whitehead product


ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic
Add to Reading List

Document Date: 2015-08-13 12:44:18


Open Document

File Size: 403,25 KB

Share Result on Facebook