scientific article; zbMATH DE number 3912360

MaRDI QIDQ3689173zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

primitive recursive arithmeticprimitive recursive functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Constructive and recursive analysis (03F60)

Recommendations

• On some generalizations of the primitive recursive arithmetic
• The Ackermann functions are not optimal, but by how much?
• Predicatively unprovable termination of the Ackermannian Goodstein process
• scientific article; zbMATH DE number 3954294
• Ackermann's substitution method (remixed)

Cited in

(13)

• Non-definability of the Ackermann function with type 1 partial primitive recursion
• On some generalizations of the primitive recursive arithmetic
• Ackermann's substitution method (remixed)
• A direct proof of the theorem on formal functions
• scientific article; zbMATH DE number 3954294 (Why is no real title available?)
• scientific article; zbMATH DE number 55171 (Why is no real title available?)
• scientific article; zbMATH DE number 3557765 (Why is no real title available?)
• On the Difficulty of Writing Out formal Proofs in Arithmetic
• scientific article; zbMATH DE number 2038888 (Why is no real title available?)
• scientific article; zbMATH DE number 1775232 (Why is no real title available?)
• ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
• Implicit dynamic function introduction and Ackermann-like function theory
• scientific article; zbMATH DE number 5056505 (Why is no real title available?)

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