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

The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation. Effective Descriptive Set Theory is advertized as a refinement of the classical theory of definability (on Polish spaces) developed in the first half of the 20th

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: Yiannis N. Moschovakis
• Keywords: APAL 2010, Classical Suslin Theorem, Descriptive Set Theory, Naive Realizability Interpretation, Software Engineering