Enumeration of some classes of recursively enumerable sets

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):1-6 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19640100102

Links

PhilArchive



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

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

Enumeration of Some Classes of Recursively Enumerable Sets.Kempachiro Ohashi - 1964 - Mathematical Logic Quarterly 10 (1):1-6.
Strong enumeration properties of recursively enumerable classes.J. B. Florence - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):181-192.
Recursively Enumerable L‐Sets.Loredana Biacino & Giangiacomo Gerla - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):107-113.
Recursively Enumerable Images of Arithmetic Sets.Richard Rosenberg - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):189-201.
Jumps of nontrivial splittings of recursively enumerable sets.Michael A. Ingrassia & Steffen Lempp - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):285-292.
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.Manuel Lerman - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):331-342.
Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets.Manuel Lerman - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):347-352.
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
Donald A. Martin. Classes of recursively enumerable sets and degrees of unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12, pp. 295–310. [REVIEW]K. Appel - 1968 - Journal of Symbolic Logic 32 (4):528.
On Some Properties of Recursively Enumerable Equivalence Relations.Stefano Baratella - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):261-268.

Analytics

Added to PP
2014-01-16

Downloads
29 (#539,334)

6 months
2 (#1,445,320)

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