Classical descriptive set theory as a refinement of effective descriptive set theory

DOI10.1016/J.APAL.2010.09.010zbMath1230.03077OpenAlexW2123139964MaRDI QIDQ638494

Yiannis N. Moschovakis

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.09.010

zbMATH Keywords

realizabilityintuitionismeffective descriptive set theoryclassical descriptive set theorySuslin-Kleeen theorem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Intuitionistic mathematics (03F55)

Related Items (7)

Kleene's Amazing Second Recursion Theorem ⋮ Intuitionism and effective descriptive set theory ⋮ A comparison of concepts from computable analysis and effective descriptive set theory ⋮ Hyperarithmetical Sets ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Kleene’s Amazing Second Recursion Theorem ⋮ Weihrauch Complexity in Computable Analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kleene's Amazing Second Recursion Theorem
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• A Constructive Version of the Lusin Separation Theorem
• Kleene’s Amazing Second Recursion Theorem

This page was built for publication: Classical descriptive set theory as a refinement of effective descriptive set theory