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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Review: Peter G. Hinman, Hierarchies of Effective Descriptive Set Theory. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
‘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.
Review: J. W. Addison, Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory; J. W. Addison, The Theory of Hierarchies; J. W. Addison, Some Problems in Hierarchy Theory. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.
Review: Yiannis N. Moschovakis, Descriptive Set Theory. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
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.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2005 - Springer.
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171. [REVIEW]Greg Hjorth - 2001 - Bulletin of Symbolic Logic 7 (4):545-546.
Descriptive set theory over hyperfinite sets.H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth - 1989 - Journal of Symbolic Logic 54 (4):1167-1180.
Effective Borel measurability and reducibility of functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
Ω-powers and descriptive set theory.Dominique Lecomte - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.

Analytics

Added to PP
2013-12-18

Downloads
46 (#344,113)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.

Add more references