Asymmetric Interpretations for Bounded Theories
From MaRDI portal
Publication:4879205
DOI10.1002/malq.19960420123zbMath0849.03045MaRDI 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 functions; asymmetric interpretation; feasible analysis; collection axioms; weak Koenig's lemma; fragment of bounded arithmetic; polynomial time computational arithmetic; sigma-reflection
03F30: First-order arithmetic and fragments
03F35: Second- and higher-order arithmetic and fragments
Related Items
Polynomial time operations in explicit mathematics, Admissible closures of polynomial time computable arithmetic, Bounded functional interpretation and feasible analysis, Strict \({\varPi^1_1}\)-reflection in bounded arithmetic, Groundwork for weak analysis