scientific article; zbMATH DE number 432703

MaRDI QIDQ3138830zbMATH OpenFDO

Authors Samuel R. Buss

Publication date 11 November 1993

zbMATH Keywords

axiomatizationsintuitionistic bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Model theory of bounded arithmetic with applications to independence results
• Two General Results on Intuitionistic Bounded Theories
• On the Hierarchy of Intuitionistic Bounded Arithmetic
• scientific article; zbMATH DE number 4066875
• From positive and intuitionistic bounded arithmetic to monotone proof complexity

Cited in

(5)

• Unprovability of consistency statements in fragments of bounded arithmetic
• On sharply bounded length induction
• Functional interpretations of feasibly constructive arithmetic
• Preservation theorems for bounded formulas
• Provably recursive functions of constructive and relatively constructive theories

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 Q3138830)