Retracts of numerations

Annals of Pure and Applied Logic 42 (3):225-242 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(89)90017-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Akira Kanda. Recursion theorems and effective domains. Annals of pure and applied logic, vol. 38 , pp. 289–300.Dag Normann - 1991 - Journal of Symbolic Logic 56 (1):335.
On p-reducibility of numerations.A. N. Degtev - 1993 - Annals of Pure and Applied Logic 63 (1):57-60.
Review: Akira Kanda, Recursion Theorems and Effective Domains. [REVIEW]Dag Normann - 1991 - Journal of Symbolic Logic 56 (1):335-335.
On recursively enumerable structures.Victor Selivanov - 1996 - Annals of Pure and Applied Logic 78 (1-3):243-258.
Annals of pure and applied logic.Ja Makowsky - forthcoming - Annals of Pure and Applied Logic.
Introducing article numbering to Annals of Pure and Applied Logic.Giovanni Raneri - 2019 - Annals of Pure and Applied Logic 170 (11):102728.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.
Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
Ann. Pure Appl. Logic.Jean H. Gallier - 1997 - Annals of Pure and Applied Logic 89 (2-3):275.

Analytics

Added to PP
2014-01-16

Downloads
9 (#449,242)

6 months
1 (#1,912,481)

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

Theorie der Numerierungen I.Ju L. Eršov - 1973 - Mathematical Logic Quarterly 19 (19‐25):289-388.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
Acceptable Numerations of Function Spaces.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (31‐34):503-508.
Numeration Models of λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25‐30):409-414.

Add more references