Polynomial induction and length minimization in intuitionistic bounded arithmetic

DOI10.1002/malq.200410008zbMath1059.03066MaRDI QIDQ3159403

Morteza Moniri

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

zbMATH Keywords

IPV; Kripke model; length minimization; polynomial induction; extended Frege system

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03F50: Metamathematics of constructive systems

03F55: Intuitionistic mathematics

03F20: Complexity of proofs

Related Items

Preservation theorems for bounded formulas

Cites Work

• Unnamed Item
• Unnamed Item