Algebraic Recursion Theory

Journal of Symbolic Logic 53 (3):986-987 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274589

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

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

Algebraic recursion theory.Ljubomir Lalov Ivanov - 1986 - New York: Halsted Press.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Review: L. L. Ivanov, J. L. Bell, Algebraic Recursion Theory. [REVIEW]Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
L. L. Ivanov. Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications. Ellis Horwood Limited, Chichester, West Sussex, 1987 , also distributed by Halsted Press, John Wiley & Sons, New York etc., 256 pp. [REVIEW]Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Categorial generalization of algebraic recursion theory (vol 101, pg 91, 1995).J. Zashev - 1999 - Journal of Symbolic Logic 64 (1):406-406.
Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.
A Typed Prioritized Process Algebra.Alan Jeffrey - 1993 - Computer Science, School of Cognitive and Computing Sciences, University of Sussex.
Abstract hierarchies and degrees.Ljubomir L. Ivanov - 1989 - Journal of Symbolic Logic 54 (1):16-25.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
On the equational theory of representable polyadic equality algebras.I. Nemeti - 1998 - Logic Journal of the IGPL 6 (1):3-15.
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.

Analytics

Added to PP
2017-02-21

Downloads
36 (#455,038)

6 months
19 (#145,419)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dag Normann
University of Oslo
John L. Bell
University of Western Ontario

Citations of this work

Abstract hierarchies and degrees.Ljubomir L. Ivanov - 1989 - Journal of Symbolic Logic 54 (1):16-25.
Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.
Operative vs. combinatory spaces.Lyubomir Ivanov - 1990 - Journal of Symbolic Logic 55 (2):561-572.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references