Ehrenfeucht A. and Feferman S.. Representability of recursively enumerable sets informal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 , pp. 37–41 [Book Review]

Journal of Symbolic Logic 32 (4):530-530 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270210

Links

PhilArchive



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

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

Shepherdson J. C.. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 . pp. 119–127. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Review: A. Ehrenfeucht, S. Feferman, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-530.
Representability of Recursively Enumerable Sets in Formal Theories.A. Ehrenfeucht & S. Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-530.
Review: J. C. Shepherdson, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
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.
Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.
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.
On the orbits of hyperhypersimple sets.Wolfgang Maass - 1984 - Journal of Symbolic Logic 49 (1):51-62.
A Dichotomy of the Recursively Enumerable Sets.Robert W. Robinson - 1968 - Mathematical Logic Quarterly 14 (21-24):339-356.
Standard Classes of Recursively Enumerable Sets.A. H. Lachlan - 1964 - Mathematical Logic Quarterly 10 (2-3):23-42.
Recursively Enumerable Sets and Retracing Functions.C. E. M. Yates - 1962 - Mathematical Logic Quarterly 8 (3-4):331-345.
Enumeration of some classes of recursively enumerable sets.Kempachiro Ohashi - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):1-6.
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.

Analytics

Added to PP
2016-06-30

Downloads
21 (#720,615)

6 months
1 (#1,516,429)

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