Recursive Equivalence Types

&
Journal of Symbolic Logic 25 (4):356-359 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963565

Links

PhilArchive



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

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: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Recursive equivalence types on recursive manifolds.Leon W. Harkleroad - 1979 - Notre Dame Journal of Formal Logic 20 (1):1-31.
Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Infinite products of recursive equivalence types.Don C. Ferguson - 1968 - Journal of Symbolic Logic 33 (2):221-230.
Recursive equivalence types and groups.Matthew J. Hassett - 1969 - Journal of Symbolic Logic 34 (1):13-20.
Additive Relations Among Recursive Equivalence Types.A. Nerode - 1970 - Journal of Symbolic Logic 35 (4):589-590.
Combinatorial Series and Recursive Equivalence Types.A. B. Manaster - 1968 - Journal of Symbolic Logic 33 (4):620-621.
The Uniqueness of Finite Division for Recursive Equivalence Types.Richard Friedberg - 1960 - Journal of Symbolic Logic 25 (4):363-363.
Admissible sets and recursive equivalence types.Carl E. Bredlau - 1979 - Notre Dame Journal of Formal Logic 20 (2):355-365.
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.
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.
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.
Sound, totally sound, and unsound recursive equivalence types.R. G. Downey - 1986 - Annals of Pure and Applied Logic 31:1-20.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,192,632)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
Trees and Isols II.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):45-78.
Isols and burnside's lemma.J. C. E. Dekker - 1986 - Annals of Pure and Applied Logic 32:245-263.
Trees and Isols II.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):45-78.
Isols and maximal intersecting classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references