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 [Book Review]

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

Links

PhilArchive



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

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.
Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.
Yiannis N. Moschovakis. Abstract first order computability. Transactions of the American Mathematical Society, vol. 138 , pp. 427–464 and pp. 465–504. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758.
Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 , pp. 111–140. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
Hierarchies based on objects of finite type.Thomas J. Grilliot - 1969 - Journal of Symbolic Logic 34 (2):177-182.
Kleene S. C.. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 , pp. 106–142. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.
Clarke D. A.. Hierarchies of predicates of finite types. Memoirs of the American Mathematical Society, no. 51. American Mathematical Society, Providence 1964, 95 pp. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 , pp. 526–543. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
Review: Yiannis N. Moschovakis, Abstract First Order Computability. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758-758.
Review: Peter G. Hinman, Hierarchies of Effective Descriptive Set Theory. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
Thomas J. Grilliot. Inductive definitions and computability. Transactions of the American Mathematical Society, vol. 158 , pp. 309–317. [REVIEW]Gregory W. Jones - 1973 - Journal of Symbolic Logic 38 (4):654.
Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 , pp. 245–250.Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653.
Many-one Degrees of the Predicates H a.Yiannis N. Moschovakis - 1967 - Journal of Symbolic Logic 32 (4):529-530.
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: Gustav Hensel, Hilary Putnam, On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. [REVIEW]Yiannis N. Moschovakis - 1967 - Journal of Symbolic Logic 32 (1):124-125.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,058,801)

6 months
4 (#790,687)

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