#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1938

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Stephen Cole Kleene
- J. Symb. Log.
- 1938

- Stephen Cole Kleene
- J. Symb. Log.
- 1945

- S. C. KLEENE
- 2010

This is the third of a series of papers in these Transactions on hierarchies obtained by quantifying variables of recursive predicates. In Recursive predicates and quantifiers [10] variables for natural numbers (type 0) were quantified, and in Arithmetical predicates and function quantifiers [14] also variables for one-place number-theoretic functions (type… (More)

- Stephen Cole Kleene
- J. Symb. Log.
- 1962

- Stephen Cole Kleene
- Annals of the History of Computing
- 1979

For over two millenia mathematicians have used particular examples of algorithms for determining the values of functions. The notion of "?-definability" was the first of what are now accepted as equivalent exact mathematical descriptions of the class of the functions for which algorithms exist. This article explains the notion and traces the investigation… (More)

- S. C. KLEENE
- 2007

The existence of hierarchies of point sets in analysis has long been familiar from the work of Borel and Lusin. The study of the hierarchies in number theory which we consider here began with a theorem presented to the Society in 1940 and published in [12], These hierarchies have applications in foundational investigations, but we shall be concerned here… (More)

- Stephen Cole Kleene
- Notre Dame Journal of Formal Logic
- 1987

- Stephen Cole Kleene
- Algorithms in Modern Mathematics and Computer…
- 1979

- Stephen Cole Kleene
- J. Symb. Log.
- 1978