Hyperanalytic Predicates

&
Journal of Symbolic Logic 36 (1):147-148 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271526

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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.
Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 , pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 , pp. 177–182. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
Review: Yiannis N. Moschovakis, Many-one Degrees of the Predicates $H_a(x)$. [REVIEW]Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (4):529-530.
Review: Yiannis N. Moschovakis, The Game Quantifier. [REVIEW]Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653-653.
Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
Review: Yiannis N. Moschovakis, Descriptive Set Theory. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Review: Yiannis N. Moschovakis, Notes on Set Theory. [REVIEW]Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (4):1493-1494.

Analytics

Added to PP
2015-02-05

Downloads
15 (#1,233,030)

6 months
3 (#1,470,638)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Power set recursion.Lawrence S. Moss - 1995 - Annals of Pure and Applied Logic 71 (2):247-306.
The limits of E-recursive enumerability.Gerald E. Sacks - 1986 - Annals of Pure and Applied Logic 31:87-120.
Reflection and forcing in E-recursion theory.Theodore A. Slaman - 1985 - Annals of Pure and Applied Logic 29 (1):79-106.

Add more citations

References found in this work

No references found.

Add more references