\(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
From MaRDI portal
Publication:1262857
DOI10.1007/BF01633985zbMath0687.03027OpenAlexW2039580430MaRDI QIDQ1262857
Publication date: 1989
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01633985
Descriptive set theory (03E15) Applications of computability and recursion theory (03D80) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Related Items
Cites Work