• Title of article

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

  • Author/Authors

    Joan Rand Moschovakis، نويسنده , , Yiannis N.، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2010
  • Pages
    13
  • From page
    243
  • To page
    255
  • 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
    Effective descriptive set theory , Suslin–Kleene Theorem , realizability
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2010
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1444533

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1444533