scientific article; zbMATH DE number 52595

MaRDI QIDQ4002890zbMATH OpenFDO

Authors Baiying Shen

Publication date 18 September 1992

zbMATH Keywords

pairing functionsprimitive recursion schemeprimitive recursive arithmetic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 3165537
• scientific article; zbMATH DE number 49449
• scientific article; zbMATH DE number 3878909
• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• scientific article; zbMATH DE number 1526722

Cited in

(6)

• scientific article; zbMATH DE number 3863192 (Why is no real title available?)
• On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic
• scientific article; zbMATH DE number 4029556 (Why is no real title available?)
• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• Primitive recursive real numbers
• Unary primitive recursive functions

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