Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
Logic
2021-05-06 v1
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.
Keywords
Cite
@article{arxiv.2105.01719,
title = {Reverse mathematics and Weihrauch analysis motivated by finite complexity theory},
author = {Zack BeMent and Jeffry Hirst and Asuka Wallace},
journal= {arXiv preprint arXiv:2105.01719},
year = {2021}
}