scientific article; zbMATH DE number 4160722

MaRDI QIDQ3487339zbMATH OpenFDO

Authors Gaisi Takeuti

Publication date 1990

zbMATH Keywords

Bounded Arithmeticprovability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 218509
• Bounded arithmetic and the polynomial hierarchy
• Bounded arithmetic and truth definition
• A Remark on Independence Results for Sharply Bounded Arithmetic
• A second order version of S₂ⁱ and U₂¹

Cited in

(12)

• Bounded arithmetic for NC, ALogTIME, L and NL
• The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic
• Multifunction algebras and the provability of PH
• Notations for exponentiation.
• Relating the bounded arithmetic and polynomial time hierarchies
• Separations of first and second order theories in bounded arithmetic
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• The critical number of a variable in a function
• Determinacy and the sharp function on the reals
• The strength of sharply bounded induction requires MSP
• On sharply bounded length induction
• Independence results for variants of sharply bounded induction

This page was built for publication:

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