Asymmetric Interpretations for Bounded Theories
From MaRDI portal
Publication:4879205
DOI10.1002/malq.19960420123zbMath0849.03045OpenAlexW2092790072MaRDI QIDQ4879205
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
provably recursive functionsasymmetric interpretationfeasible analysiscollection axiomsweak Koenig's lemmafragment of bounded arithmeticpolynomial time computational arithmeticsigma-reflection
First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Bounded functional interpretation and feasible analysis ⋮ Strict \({\varPi^1_1}\)-reflection in bounded arithmetic ⋮ Admissible closures of polynomial time computable arithmetic ⋮ Polynomial time operations in explicit mathematics ⋮ Groundwork for weak analysis