scientific article

zbMATH Open0606.03010MaRDI QIDQ3744153FDOQ3744153

Franco Parlamento

Publication date: 1984

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

zbMATH Keywords

Primitive Recursive Arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Provability with Finitely Many Variables 👍 👎
• AXIOMATIZATION OF PROVABLE n-PROVABILITY 👍 👎
• Pringsheim's theorem revisited 👍 👎
• The completeness of provable realizability 👍 👎
• A direct proof of purification for Schmeidler's theorem 👍 👎
• MÜNCHHAUSEN PROVABILITY 👍 👎
• Provability, Mechanism, and the Diagonal Problem 👍 👎

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)