An Independence Result for Intuitionistic Bounded Arithmetic

DOI10.1093/LOGCOM/EXI085zbMath1102.03056OpenAlexW2066488812MaRDI QIDQ5477454

Morteza Moniri

Publication date: 3 July 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi085

zbMATH Keywords

bounded arithmeticintuitionistic logicKripke modelpolynomial hierarchyNPpolynomial induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: An Independence Result for Intuitionistic Bounded Arithmetic