Hierarchies over recursive well-orderings

DOI10.2307/2270372zbMath0219.02034OpenAlexW2026128185MaRDI QIDQ5623679

H. B. Enderton, L. Luckham

Publication date: 1964

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (1)

Best approximation of functions by polynomials with respect to multiplicative systems and generalized monotonicity

Cites Work

• Unnamed Item
• Hierarchies of number-theoretic predicates

This page was built for publication: Hierarchies over recursive well-orderings