Recursive Functions Over Well Ordered Partial Orderings

DOI10.2307/2033606MaRDI QIDQ3272473zbMATH OpenOpenAlexFDO

Authors Hartley jun. Rogers

Publication date 1959

Full work available at URL https://doi.org/10.2307/2033606

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Arithmetical Predicates and Function Quantifiers
• Creative sets
• Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme
• Hierarchies of number-theoretic predicates
• On notation for ordinal numbers
• Recursive well-orderings

Cited in

(3)

• On Minimal and Almost-Minimal Systems of Notations
• Constructive Versions of Ordinal Number Classes
• Hierarchies in Recursive Function Theory

This page was built for publication: Recursive Functions Over Well Ordered Partial Orderings

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