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

Annals of Pure and Applied Logic 162 (3):243-255 (2010)
  Copy   BIBTEX

Abstract

The 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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2010.09.010

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

‘Neptune’ between ‘Hesperus’ and ‘Vulcan’: On descriptive names and non-existence. [REVIEW]Agustin Arrieta Urtizberea - 2005 - Acta Analytica 20 (3):48-58.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
The graph-theoretic approach to descriptive set theory.Benjamin D. Miller - 2012 - Bulletin of Symbolic Logic 18 (4):554-575.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.
Neurath's ship: The constitutive relation between normative and descriptive theories of rationality.Michael R. Waldmann - 2011 - Behavioral and Brain Sciences 34 (5):273-274.

Analytics

Added to PP
2013-12-18

Downloads
113 (#426,486)

6 months
18 (#615,045)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explanation in Descriptive Set Theory.Carolin Antos & Mark Colyvan - 2024 - In Katie Robertson & Alastair Wilson, Levels of Explanation. Oxford, GB: Oxford University Press.
Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.

Add more citations

References found in this work

Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.

Add more references