A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 , pp. 163–178

Journal of Symbolic Logic 31 (4):654 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1997

DOI

10.2307/2269714

Links

PhilArchive



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

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

Effective operations in a general setting.A. H. Lachlan - 1964 - Journal of Symbolic Logic 29 (4):163-178.
Kreisel G., Lacombe D., and Shoenfield J.. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 364–365.Kreisel G., Lacombe D., and Shoenfield J. R.. Partial recursive functionals and effective operations. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North Holland Publishing Company, Amsterdam 1959, pp. 290–297. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert Willem Beth - 2012 - Dordrecht, Netherland: Springer Verlag.
Effective Operations and Partial Recursive Functionals.G. Kriesel, D. Lacombe, J. Shoenfield, G. Kreisel & J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Leon Henkin - 1962 - Journal of Symbolic Logic 30 (2):235-236.
Review: Paul R. Young, An Effective Operator, Continuous but not Partial Recursive. [REVIEW]A. H. Lachlan - 1970 - Journal of Symbolic Logic 35 (3):477-478.
Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. [REVIEW]Leon Henkin - 1965 - Journal of Symbolic Logic 30 (2):235-236.
Review: A. A. Mucnik, E. Mendelson, Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (3):393-394.
Review: A. H. Lachlan, The $U$-Quantifier. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
Young Paul R.. An effective operator, continuous but not partial recursive. Proceedings of the American Mathematical Society, vol. 19 , pp. 103–108. [REVIEW]A. H. Lachlan - 1970 - Journal of Symbolic Logic 35 (3):477-478.
Review: J. R. Shoenfield, A Theorem on Minimal Degrees. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (4):529-529.
Beth Evert W.. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp. [REVIEW]Leon Henkin - 1965 - Journal of Symbolic Logic 30 (2):235-236.
Lachlan A. H.. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 171–174. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.

Analytics

Added to PP
2014-03-30

Downloads
36 (#410,354)

6 months
5 (#441,012)

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