Polynomial induction and length minimization in intuitionistic bounded arithmetic
From MaRDI portal
Publication:3159403
DOI10.1002/malq.200410008zbMath1059.03066OpenAlexW2011054734MaRDI QIDQ3159403
Publication date: 16 February 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200410008
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Complexity of proofs (03F20)
Related Items (1)
Cites Work
This page was built for publication: Polynomial induction and length minimization in intuitionistic bounded arithmetic