Asymmetric Interpretations for Bounded Theories

DOI10.1002/MALQ.19960420123zbMATH Open0849.03045OpenAlexW2092790072MaRDI QIDQ4879205FDOQ4879205

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

Recommendations

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

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)

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)