On analytic well-orderings

DOI10.2307/2270509zbMath0222.02047OpenAlexW2014650541MaRDI QIDQ5626634

Hisao Tanaka

Publication date: 1970

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

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

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55)

Related Items (1)

Parallel Feedback Turing Computability

Cites Work

• Unnamed Item
• Unnamed Item
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• A complete classification of the Δ₂¹-functions

This page was built for publication: On analytic well-orderings