\(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy

DOI10.1007/BF01633985zbMath0687.03027OpenAlexW2039580430MaRDI QIDQ1262857

K. Appert

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

zbMATH Keywords

uniformization\(\Pi^ 1_ 2\)-logic

Mathematics Subject Classification ID

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

Large cardinals and large dilators ⋮ The full basis theorem does not imply analytic wellordering

Cites Work

• Π12-logic, Part 1: Dilators
• Set Theory
• Unnamed Item
• Unnamed Item