Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates [Book Review]

Journal of Symbolic Logic 21 (4):411-412 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268428

Links

PhilArchive



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

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: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
Review: S. C. Kleene, Arithmetical Predicates and Function Quantifiers. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):409-410.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper). [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
Review: S. C. Kleene, Quantification of Number-Theoretic Functions. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.
A uniform approach for characterizing the provably total number-theoretic functions of KPM and its subsystems.Benjamin Blankertz & Andreas Weiermann - 1999 - Studia Logica 62 (3):399-427.
Review: S. C. Kleene, Recursive Predicates and Quantifiers. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals. [REVIEW]H. E. Vaughan - 1946 - Journal of Symbolic Logic 11 (4):127-127.
Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (4):375-375.
Review: D. A. Clarke, Hierarchies of Predicates of Finite Types. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Review: Peter G. Hinman, Recursion-Theoretic Hierarchies. [REVIEW]Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
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.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,889,095)

6 months
1 (#1,516,429)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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