Review: Peter G. Hinman, Hierarchies of Effective Descriptive Set Theory [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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: Yiannis N. Moschovakis, Hyperanalytic Predicates; Thomas J. Grilliot, Hierarchies Based on Objects of Finite Type. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
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.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
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.
Review: D. A. Clarke, Hierarchies of Predicates of Finite Types. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Review: Peter G. Hinman, Recursion-Theoretic Hierarchies. [REVIEW]Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
Fine hierarchies and Boolean terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Review: Piergiorgio Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
Review: Melvin Fitting, Fundamentals of Generalized Recursion Theory. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Review: Yiannis N. Moschovakis, Descriptive Set Theory. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
[Omnibus Review].Peter G. Hinman - 1972 - Journal of Symbolic Logic 37 (2):409-410.
Review: R. C. Lyndon, Existential Horn Sentences. [REVIEW]Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253-253.
Review: Luis E. Sanchis, Recursive Functionals. [REVIEW]Peter G. Hinman - 1993 - Journal of Symbolic Logic 58 (4):1468-1469.

Analytics

Added to PP
2013-11-22

Downloads
18 (#855,749)

6 months
3 (#1,037,581)

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