Recursive equivalence types and groups

Journal of Symbolic Logic 34 (1):13-20 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270975

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Recursive Equivalence Types.J. C. E. Dekker & J. Myhill - 1960 - Journal of Symbolic Logic 25 (4):356-359.
Infinite products of recursive equivalence types.Don C. Ferguson - 1968 - Journal of Symbolic Logic 33 (2):221-230.
Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Additive Relations Among Recursive Equivalence Types.A. Nerode - 1970 - Journal of Symbolic Logic 35 (4):589-590.
The Uniqueness of Finite Division for Recursive Equivalence Types.Richard Friedberg - 1960 - Journal of Symbolic Logic 25 (4):363-363.
Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types. [REVIEW]Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590-590.

Analytics

Added to PP
2009-01-28

Downloads
32 (#711,554)

6 months
13 (#267,677)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Recursion relative to regressive functions.J. C. E. Dekker & E. Ellentuck - 1974 - Annals of Mathematical Logic 6 (3-4):231-257.
Isols and burnside's lemma.J. C. E. Dekker - 1986 - Annals of Pure and Applied Logic 32:245-263.
A Result for π‐Groups.C. H. Applebaum - 1973 - Mathematical Logic Quarterly 19 (3-6):33-35.

Add more citations

References found in this work

Les Fonctions combinatoires et les Isols.J. C. E. Dekker - 1972 - Journal of Symbolic Logic 37 (2):406-406.

Add more references