The characterization of Weihrauch reducibility in systems containing E-PA$^{\omega}$ + QF-AC$^{0,0}$
From MaRDI portal
Publication:6337659
DOI10.1017/JSL.2020.53zbMath1529.03224arXiv2003.13331MaRDI QIDQ6337659
Publication date: 30 March 2020
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other degrees and reducibilities in computability and recursion theory (03D30) Higher-type and set recursion theory (03D65)
This page was built for publication: The characterization of Weihrauch reducibility in systems containing E-PA$^{\omega}$ + QF-AC$^{0,0}$
