Review: Richard Friedberg, The Uniqueness of Finite Division for Recursive Equivalence Types [Book Review]

Journal of Symbolic Logic 25 (4):363-363 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963570

Links

PhilArchive



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

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

Review: Richard M. Friedberg, Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-166.
Review: A. Grzegorczyk, Recursive Objects in all Finite Types; Haskell B. Curry, Combinatory Recursive Objects of all Finite Types. [REVIEW]Charles Parsons - 1974 - Journal of Symbolic Logic 39 (2):343-343.
Review: Richard M. Friedberg, A Criterion for Completeness of Degrees of Unsolvability. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-165.
Review: Richard Friedberg, Un Contre-Exemple Relatif aux Fonctionnelles Recursives. [REVIEW]Marian Boykan Pour-El - 1959 - Journal of Symbolic Logic 24 (2):171-171.
Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV).S. C. Kleene - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--119.
Recursive equivalence types on recursive manifolds.Leon W. Harkleroad - 1979 - Notre Dame Journal of Formal Logic 20 (1):1-31.
Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):52-52.
Finite condensations of recursive linear orders.Dev K. Roy & Richard Watnick - 1988 - Studia Logica 47 (4):311 - 317.
Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Review: A. Nerode, Additive Relations Among Recursive Equivalence Types. [REVIEW]Matthew J. Hassett - 1970 - Journal of Symbolic Logic 35 (4):589-590.
Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types. [REVIEW]Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590-590.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,360,984)

6 months
4 (#800,606)

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