Systems of notations and the ramified analytical hierarchy

DOI10.2307/2272637zbMath0295.02027OpenAlexW2130207420MaRDI QIDQ4047542

Joan D. Lukas, Hilary Putnam

Publication date: 1974

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

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Hierarchies of computability and definability (03D55)

Cites Work

• Unnamed Item
• On degrees of recursive unsolvability
• Degrees of unsolvability of constructible sets of integers

This page was built for publication: Systems of notations and the ramified analytical hierarchy