Kleene S. C.. Extension of an effectively generated class of functions by enumeration. Colloquium mathematicum, vol. 6 , pp. 68–78 [Book Review]

Journal of Symbolic Logic 25 (3):279-280 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964718

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: S. C. Kleene, Extension of an Effectively Generated Class of Functions by Enumeration. [REVIEW]William W. Tait - 1960 - Journal of Symbolic Logic 25 (3):279-280.
Extension of an Effectively Generated Class of Functions by Enumeration.S. C. Kleene - 1960 - Journal of Symbolic Logic 25 (3):279-280.
The jump operator on the ω-enumeration degrees.Hristo Ganchev & Ivan N. Soskov - 2009 - Annals of Pure and Applied Logic 160 (3):289-301.
T. Traczyk. On axioms and some properties of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 509–512. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 , pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 , pp. 155–161. [REVIEW]George Gratzer - 1969 - Journal of Symbolic Logic 34 (1):121-121.
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.Kate Copestake - 1997 - Mathematical Logic Quarterly 43 (3):287-310.
Sikorski R.. On Herbrand's theorem. Colloquium mathematicum, vol. 6 , pp. 55–58.Donald Monk - 1970 - Journal of Symbolic Logic 35 (4):587-587.
Sikorski R.. Repressentation and distributivity of Boolean algebras. Colloquium mathematicum, vol. 8 , pp. 1–13.R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
A jump inversion theorem for the enumeration jump.I. N. Soskov - 2000 - Archive for Mathematical Logic 39 (6):417-437.
Sikorski R. and Traczyk T.. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 , pp. 13–16. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-414.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Rasiowa H. and Sikorski R.. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 , pp. 143–158. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-98.

Analytics

Added to PP
2016-06-30

Downloads
16 (#883,649)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references