scientific article; zbMATH DE number 1235084

MaRDI QIDQ4223288zbMATH OpenFDO

Authors Qing Zhou

Publication date 9 September 1999

zbMATH Keywords

primitive recursive set functionsrecursive formulae on setsrecursive set functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• A proof-theoretic characterization of the primitive recursive set functions
• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
• scientific article; zbMATH DE number 3412592
• scientific article; zbMATH DE number 1791729

Cited in

(6)

• Recursive set relations
• Iterating the Derived Set Function
• scientific article; zbMATH DE number 1791729 (Why is no real title available?)
• Successor levels of the Jensen hierarchy
• scientific article; zbMATH DE number 3412592 (Why is no real title available?)
• Cobham recursive set 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 Q4223288)