Recursive equivalence types and groups
- 29 May 1969
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 34 (1) , 13-20
- https://doi.org/10.2307/2270975
Abstract
Let ε and Λ denote the sets of all nonnegative integers and isols respectively. Let σ be any subset of ε. Following [6], we shall denote the recursive equivalence type of a by Req(σ) and write σ≃τ when Req(σ) = Req(τ).Keywords
This publication has 7 references indexed in Scilit:
- The theory of groups (2nd edition), by Hall Marshall, Pp xiii, 434. $9·95 1976. SBN 0 8284 0288 4 (Chelsea)The Mathematical Gazette, 1977
- The recursive equivalence type of a class of setsBulletin of the American Mathematical Society, 1964
- Recursive Equivalence Types. By J C. E. Dekker and J. Myhill. 1960. University of California Publications in Mathematics. N.S. Vol. 3 No. 3, pp. 67–214).The Mathematical Gazette, 1962
- Infinite series of isolsProceedings of Symposia in Pure Mathematics, 1962
- Extensions to IsolsAnnals of Mathematics, 1961
- The factorial function for isolsMathematische Zeitschrift, 1958
- Recursive equivalence types and combinatorial functionsBulletin of the American Mathematical Society, 1958