A Note on Bootstrapping Intuitionistic Bounded Arithmetic

@inproceedings{Buss1992ANO,
  title={A Note on Bootstrapping Intuitionistic Bounded Arithmetic},
  author={Samuel R. Buss},
  year={1992}
}
This paper, firstly, discusses the relationship between Buss’s definition and Cook and Urquhart’s definition of BASIC axioms and of IS 2 . The two definitions of BASIC axioms are not equivalent; however, each intuitionistically implies the law of the excluded middle for quantifier-free formulas. There is an elementary proof that the definitions of IS 2 are equivalent which is not based on realizability or functional interpretations. Secondly, it is shown that any negated positive consequence of… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…