Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

APAL
2010

favoriteEmaildiscussreport

123views more APAL 2010»

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

13 years 1 months ago

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

Download www.math.ucla.edu

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

Yiannis N. Moschovakis

Real-time Traffic

APAL 2010 | Classical Suslin Theorem | Descriptive Set Theory | Naive Realizability Interpretation | Software Engineering |

claim paper

Related Content

» Descriptive Set Theory of Families of Small Sets

» Mining Approximative Descriptions of Sets Using Rough Sets

» From Causal Theories to Successor State Axioms and STRIPSLike Systems

» Observability of Turing Machines A Refinement of the Theory of Computation

» Deciding Intuitionistic Propositional Logic via Translation into Classical Logic

» Translating FirstOrder Causal Theories into Answer Set Programming

» Compiling Causal Theories to Successor State Axioms and STRIPSLike Systems

» Reasoning with Expressive Description Logics Theory and Practice

» The effective theory of Borel equivalence relations

Post Info
More Details (n/a)

Added	28 Feb 2011
Updated	28 Feb 2011
Type	Journal
Year	2010
Where	APAL
Authors	Yiannis N. Moschovakis

Comments (0)