Constructively accessible ordinal numbers

DOI10.2307/2270051zbMath0197.00503OpenAlexW2046274763MaRDI QIDQ5593824

Wayne Richter

Publication date: 1968

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

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

On a class of recursive hierarchies, Some aspects of generalized computability

Cites Work

• Constructive transfinite number classes
• Creative sets