Comparing Constructive Arithmetical Theories Based On NP-PIND and coNP-PIND
by
Morteza Moniri
| Citations: | 4 - 4 self |
BibTeX
@MISC{Moniri_comparingconstructive,
author = {Morteza Moniri},
title = {Comparing Constructive Arithmetical Theories Based On NP-PIND and coNP-PIND},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this note we show that the intuitionistic theory of polynomial induction on Π b+ 1-formulas does not imply the intuitionistic theory IS1 2 of polynomial induction on Σ b+ 1-formulas. We also show the converse assuming the Polynomial Hierarchy does not collapse. Similar results hold also for length induction in place of polynomial induction. We also investigate the relation between various other intuitionistic first-order theories of bounded arithmetic. Our method is mostly semantical, we use Kripke models of the theories.
