Asymmetric Interpretations for Bounded Theories

@article{Cantini1996AsymmetricIF,
  title={Asymmetric Interpretations for Bounded Theories},
  author={Andrea Cantini},
  journal={Math. Log. Q.},
  year={1996},
  volume={42},
  pages={270-288}
}
We apply the method of asymmetric interpretation to the basic fragment of bounded arithmetic, endowed with a weak collection schema, and to a system of “feasible analysis”, introduced by Ferreira and based on weak Konig's lemma, recursive comprehension and NP-notation induction. As a byproduct, we obtain two conservation results. Mathematics Subject Classification: 03F30, 03F35. 

Topics from this paper.

Citations

Publications citing this paper.