Asymmetric Interpretations for Bounded Theories
Andrea Cantini · Mathematical logic quarterly · 1996
Abstract 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 König's lemma, recursive comprehension and NP‐notation induction. As a byproduct, we obtain two conservation results. Mathematics Subject Classification: 03F30, 03F35.