On the Hierarchy of Intuitionistic Bounded Arithmetic

DOI10.1093/LOGCOM/EXN003zbMath1147.03032OpenAlexW2016116596MaRDI QIDQ3520239

Morteza Moniri

Publication date: 15 August 2008

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

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

zbMATH Keywords

bounded arithmeticintuitionistic logicKripke modelpolynomial hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

A note on uniform density in weak arithmetical theories ⋮ Provably recursive functions of constructive and relatively constructive theories

This page was built for publication: On the Hierarchy of Intuitionistic Bounded Arithmetic