Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

Zack BeMent, Jeffry Hirst, Asuka Wallace

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 W…