Asymmetric Interpretations for Bounded Theories

  title={Asymmetric Interpretations for Bounded Theories},
  author={Andrea Cantini},
  journal={Math. Log. Q.},
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.


Publications citing this paper.