Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. - Zach BeMent; Jeffry L. Hirst; Asuka Wallace (Comput., 2021)