Classical descriptive set theory as a refinement of effective descriptive set theory (Q638494)

Effective (modern) descriptive set theory is nowadays regarded as a refinement of the classical theory of definability on Polish spaces. In this paper the effective Suslin-Kleene Theorem is obtained as a corollary of the standard, constructive, proof of the classical Suslin Theorem (by applying to it a naive realizability interpretation). So, from this point of view, the author vice versa considers classical descriptive theory as a refinement of the modern one -- hence the title. To describe the content of the paper, it is perhaps appropriate to cite the author's own words in the concluding section: ``Briefly, what we have done is to (1) introduce a formal language \(\mathcal L\) in which many of the propositions of classical descriptive set theory can be naturally expressed; (2) define a realizability interpretation for \(\mathcal L\) which is respected by intuitionistic deductive reasoning; and (3) derive the (effective) Suslin-Kleene Theorem by verifying that the (classical) Suslin Theorem can be proved intuitionistically from true, recursively \(C\)-realizable hypotheses.'' To help those readers who are not familiar with intuitionism, all the necessary notions and arguments are defined and outlined.