Classical descriptive set theory as a refinement of effective descriptive set theory |
| |
| Authors: | Yiannis N. Moschovakis |
| |
| Affiliation: | Department of Mathematics, University of California, Los Angeles, CA, USA Department of Mathematics, University of Athens, Athens, Greece |
| |
| Abstract: | 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. |
| |
| Keywords: | 03E15 28A05 03F55 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
