A Note on Function Quantification

J. W. Addison & S. C. Kleene

Journal of Symbolic Logic 23 (1):47-48 (1958) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Decision-Theoretic Puzzles in Philosophy of Action

Logic and Philosophy of Logic, Misc in Logic and Philosophy of Logic

Logical Expressions in Logic and Philosophy of Logic

Logics, Misc in Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.2307/2964480

Links

PhilArchive

Upload a copy of this work Papers currently archived: 94,070

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Review: J. W. Addison, S. C. Kleene, A Note on Function Quantification. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):47-48.

Addison J. W. and Kleene S. C.. A note on function quantification. Proceedings of the American Mathematical Society, vol. 8 , pp. 1002–1006. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):47-48.

A Note on a Lemma of J. W. Addison.H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):334-334.

Review: S. C. Kleene, Quantification of Number-Theoretic Functions. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.

Review: S. C. Kleene, A Note on Computable Functionals. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (1):51-52.

Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.

Kleene S. C.. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 , pp. 23–40.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.

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, Errata. Arithmetical Predicates and Function Quantifiers. [REVIEW]Alonzo Church - 1957 - Journal of Symbolic Logic 22 (4):375-375.

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.

Analytics

Added to PP
2015-02-05

Downloads
19 (#793,944)

6 months
2 (#1,449,525)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Parametrization over inductive relations of a bounded number of variables.Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 48 (2):103-134.

Add more citations

References found in this work

No references found.

Add more references