Asymmetric Interpretations for Bounded Theories | Zendy

Cantini Andrea | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research