The Uniqueness of Finite Division for Recursive Equivalence Types

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,672

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 Friedberg, The Uniqueness of Finite Division for Recursive Equivalence Types. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (4):363-363.
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.
Isols and maximal intersecting classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.
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.
Canonization for two variables and puzzles on the square.Martin Otto - 1997 - Annals of Pure and Applied Logic 85 (3):243-282.
Productos de Lt-tipos para especies T.Juan Carlos Martinez - 1992 - Theoria 7 (1/2/3):105-121.
Fields with few types.Cédric Milliet - 2013 - Journal of Symbolic Logic 78 (1):72-84.
Recursive Equivalence Types.J. C. E. Dekker & J. Myhill - 1960 - Journal of Symbolic Logic 25 (4):356-359.
Additive Relations Among Recursive Equivalence Types.A. Nerode - 1970 - Journal of Symbolic Logic 35 (4):589-590.
Infinite products of recursive equivalence types.Don C. Ferguson - 1968 - Journal of Symbolic Logic 33 (2):221-230.
Combinatorial Series and Recursive Equivalence Types.A. B. Manaster - 1968 - Journal of Symbolic Logic 33 (4):620-621.
Recursive equivalence types and groups.Matthew J. Hassett - 1969 - Journal of Symbolic Logic 34 (1):13-20.
Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Finite condensations of recursive linear orders.Dev K. Roy & Richard Watnick - 1988 - Studia Logica 47 (4):311 - 317.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,619,050)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.

Add more citations

References found in this work

No references found.

Add more references