Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
From MaRDI portal
Publication:5037213
DOI10.3233/COM-210310MaRDI QIDQ5037213
Jeffry L. Hirst, Zach Bement, Asuka Wallace
Publication date: 28 February 2022
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.01719
03Dxx: Computability and recursion theory