Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
Zack BeMent, Jeffry Hirst, Asuka Wallace
TL;DR
This paper explores the connections between reverse mathematics, Weihrauch analysis, and finite complexity theory by extending previous studies to infinite problems using intuitionistic methods.
Contribution
It introduces an approach combining reverse mathematics and Weihrauch analysis to study infinite problems inspired by finite complexity theory.
Findings
Extended finite complexity problems to infinite cases
Applied intuitionistic reverse mathematics techniques
Provided new insights into problem classifications
Abstract
We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.