The natural hierarchy and quasi-hierarchy of constructibility degrees

DOI10.2307/2273949zbMath0625.03034OpenAlexW2118508696MaRDI QIDQ3026997

Philip D. Welch

Publication date: 1986

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

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

zbMATH Keywords

hierarchydegrees of constructibilityquasi-hierarchytermination points

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites Work

• Unnamed Item