Premium
Asymmetric Interpretations for Bounded Theories
Author(s) -
Cantini Andrea
Publication year - 1996
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19960420123
Subject(s) - mathematics , bounded function , notation , schema (genetic algorithms) , lemma (botany) , interpretation (philosophy) , comprehension , discrete mathematics , mathematics subject classification , algebra over a field , pure mathematics , arithmetic , computer science , programming language , mathematical analysis , ecology , poaceae , biology , machine learning
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.