Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND

DOI10.1093/LOGCOM/13.6.881zbMath1049.03041OpenAlexW2012362668MaRDI QIDQ4812318

Morteza Moniri

Publication date: 7 September 2004

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

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

zbMATH Keywords

Kripke modelsintuitionistic theorybounded arithmeticpolynomial inductionlength induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (2)

Preservation theorems for bounded formulas ⋮ Provably recursive functions of constructive and relatively constructive theories

This page was built for publication: Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND