Recursion in second order bounded arithmetic.

MaRDI QIDQ3499712zbMATH OpenFDO

Authors

Publication date 2 June 2008

zbMATH Keywords

Bounded Arithmeticbounded recursionGrzegorczyk classessecond order theories

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• A second order version of S₂ⁱ and U₂¹
• scientific article; zbMATH DE number 1302504
• scientific article; zbMATH DE number 4087659
• Bounded arithmetic and truth definition
• scientific article; zbMATH DE number 4059391

Cited in

(1)

• scientific article; zbMATH DE number 1302504 (Why is no real title available?)

This page was built for publication: Recursion in second order bounded arithmetic.

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