scientific article

zbMath0707.03046MaRDI QIDQ3487339

Gaisi Takeuti

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

provabilityBounded Arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (7)

Relating the bounded arithmetic and polynomial time hierarchies ⋮ Separations of first and second order theories in bounded arithmetic ⋮ The strength of sharply bounded induction requires MSP ⋮ Bounded arithmetic for NC, ALogTIME, L and NL ⋮ Independence results for variants of sharply bounded induction ⋮ Multifunction algebras and the provability of \(PH\downarrow\) ⋮ Notations for exponentiation.

This page was built for publication: