Hierarchies of Effective Descriptive Set Theory

Journal of Symbolic Logic 37 (4):758-759 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272442

Links

PhilArchive



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

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.
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.
Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory.J. W. Addison - 1964 - Journal of Symbolic Logic 29 (1):60-62.
Fine hierarchies and Boolean terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Descriptive set theory over hyperfinite sets.H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth - 1989 - Journal of Symbolic Logic 54 (4):1167-1180.
Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
‘Neptune’ between ‘Hesperus’ and ‘Vulcan’: On descriptive names and non-existence. [REVIEW]Agustin Arrieta Urtizberea - 2005 - Acta Analytica 20 (3):48-58.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
The graph-theoretic approach to descriptive set theory.Benjamin D. Miller - 2012 - Bulletin of Symbolic Logic 18 (4):554-575.
Abstract complexity theory and the Δ20 degrees.Benjamin Schaeffer - 2002 - Annals of Pure and Applied Logic 115 (1-3):195-231.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,556,099)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references