Hierarchies over recursive well-orderings
From MaRDI portal
Publication:5623679
DOI10.2307/2270372zbMath0219.02034MaRDI QIDQ5623679
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
03D65: Higher-type and set recursion theory
Related Items
Cites Work