Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
From MaRDI portal
Publication:5037213
DOI10.3233/COM-210310OpenAlexW3172444865MaRDI 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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Reverse mathematics and uniformity in proofs without excluded middle
- Infinite versions of some problems from finite complexity theory
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Using Ramsey's theorem once
- Classical consequences of continuous choice principles from intuitionistic analysis
- On uniform relationships between combinatorial problems
- Leaf management
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- ∏ 0 1 Classes and Degrees of Theories
- SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
