scientific article; zbMATH DE number 4029556

MaRDI QIDQ3770531zbMATH OpenFDO

Authors Baiying Shen

Publication date 1985

zbMATH Keywords

primitive recursive arithmeticmeta-rulesiteration without parameters

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4072948
• scientific article; zbMATH DE number 3898874
• scientific article; zbMATH DE number 3863192
• On some generalizations of the primitive recursive arithmetic
• Primitive recursion and \(\mu\)-recursivity
• scientific article; zbMATH DE number 52595
• Primitive recursiveness of real numbers under different representations
• Primitive recursive real numbers
• A classification of the one-argument primitive recursive functions
• On the Algebraic Structure of Primitive Recursive Functions

Cited in

(5)

• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA
• scientific article; zbMATH DE number 3898874 (Why is no real title available?)
• scientific article; zbMATH DE number 3902640 (Why is no real title available?)
• scientific article; zbMATH DE number 3863192 (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 Q3770531)