scientific article; zbMATH DE number 3979048

MaRDI QIDQ3744153zbMATH OpenFDO

Authors Franco Parlamento

Publication date 1984

zbMATH Keywords

Primitive Recursive Arithmetic

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Recursive ordinals and ordinal notations (03F15)

Recommendations

• MÜNCHHAUSEN PROVABILITY
• scientific article; zbMATH DE number 5864576
• Pringsheim's theorem revisited
• Provability with Finitely Many Variables
• scientific article; zbMATH DE number 591340
• A direct proof of purification for Schmeidler's theorem
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• scientific article; zbMATH DE number 1303437
• The completeness of provable realizability
• Provability, mechanism, and the diagonal problem

Cited in

(1)

• Unfolding finitist arithmetic

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