scientific article; zbMATH DE number 3979048

zbMATH Open0606.03010MaRDI QIDQ3744153FDOQ3744153

Authors: Franco Parlamento 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Primitive Recursive Arithmetic

Mathematics Subject Classification ID

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

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)