scientific article; zbMATH DE number 3898874

MaRDI QIDQ3677754zbMATH OpenFDO

Authors Baiying Shen

Publication date 1984

zbMATH Keywords

functional existence axiomfunctional uniqueness axiomspredecessor functionprimitive recursive arithmetic

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 4029556
• scientific article; zbMATH DE number 3863192
• scientific article; zbMATH DE number 4072948
• scientific article; zbMATH DE number 3902640
• On some generalizations of the primitive recursive arithmetic

Cited in

(7)

• A recursive second order initial algebra specification of primitive recursion
• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA
• scientific article; zbMATH DE number 3863192 (Why is no real title available?)
• scientific article; zbMATH DE number 3902640 (Why is no real title available?)
• scientific article; zbMATH DE number 4029556 (Why is no real title available?)
• scientific article; zbMATH DE number 4035827 (Why is no real title available?)
• scientific article; zbMATH DE number 4072948 (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 Q3677754)