Relativization of a primitive recursive hierarchy

DOI10.1007/BF01344004MaRDI QIDQ2626203zbMATH OpenFDO

Authors P. Axt

Publication date 1963

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/161100

zbMATH Keywords

mathematical logic

Cites work

• Extension of an effectively generated class of functions by enumeration
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• Note on the 3‐Recursive Functions
• On a Subrecursive Hierarchy and Primitive Recursive Degrees
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

This page was built for publication: Relativization of a primitive recursive hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2626203)