On the Complexity of Analytic Sets
From MaRDI portal
Publication:4198745
DOI10.1002/malq.19780242506zbMath0411.03040MaRDI QIDQ4198745
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780242506
reducibility; Borel set; constructibility; coanalytic sets; higher type recursion theory; Kleene degrees
03E15: Descriptive set theory
03E45: Inner models, including constructibility, ordinal definability, and core models
03D30: Other degrees and reducibilities in computability and recursion theory
03D65: Higher-type and set recursion theory
Related Items