Asymmetric Interpretations for Bounded Theories

DOI10.1002/MALQ.19960420123MaRDI QIDQ4879205zbMATH OpenOpenAlexFDO

Authors Andrea Cantini

Publication date 4 November 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420123

zbMATH Keywords

provably recursive functionsasymmetric interpretationfeasible analysiscollection axiomsweak Koenig's lemmafragment of bounded arithmeticpolynomial time computational arithmeticsigma-reflection

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Bounded functional interpretation and feasible analysis
• Functional interpretations of feasibly constructive arithmetic
• On bounded functional interpretations
• scientific article; zbMATH DE number 3972855

Cited in

(6)

• On interpretation of inconsistent theories
• Bounded functional interpretation and feasible analysis
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• Groundwork for weak analysis
• Admissible closures of polynomial time computable arithmetic
• Polynomial time operations in explicit mathematics

This page was built for publication: Asymmetric Interpretations for Bounded Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4879205)