scientific article; zbMATH DE number 17786

MaRDI QIDQ3975129zbMATH OpenFDO

Authors Martin Loebl, J. Nešetřil

Publication date 26 June 1992

zbMATH Keywords

surveyPeano arithmeticprimitive recursive functionsprovably total functionshierarchies of fast growing functions

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Slow versus fast growing
• scientific article; zbMATH DE number 1215495
• Sometimes slow growing is fast growing
• scientific article; zbMATH DE number 4055605
• Publication:4934570

Cited in

(11)

• A classification of rapidly growing Ramsey functions
• scientific article; zbMATH DE number 6307926 (Why is no real title available?)
• Provable (and unprovable) computability
• scientific article; zbMATH DE number 4055605 (Why is no real title available?)
• A fast-growing sequence inspired by \(\mathrm{TREE}(k)\)
• A slow growing analogue to Buchholz' proof
• scientific article; zbMATH DE number 5013084 (Why is no real title available?)
• scientific article; zbMATH DE number 1390283 (Why is no real title available?)
• Unprovable combinatorial statements
• Complexity hierarchies beyond elementary
• Fast growing functions based on Ramsey theorems

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