Recursion theoretic papers. Introduction to Part VI
From MaRDI portal
Publication:5219256
DOI10.1017/CBO9781139519694.011zbMath1431.03051MaRDI QIDQ5219256
Theodore A. Slaman, Leo Harrington
Publication date: 9 March 2020
Published in: Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/cbo9781139519694.011
03E15: Descriptive set theory
03D28: Other Turing degree structures
03D65: Higher-type and set recursion theory