Recursive Functions Over Well Ordered Partial Orderings

DOI10.2307/2033606zbMath0095.01001OpenAlexW4235296751MaRDI QIDQ3272473

Hartley jun. Rogers

Publication date: 1959

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (3)

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

Cites Work

• Unnamed Item
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme
• On notation for ordinal numbers
• Creative sets

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