References
Dekker, J. C. E.: Congruences in Isols with a Finite Modulus. Math. Z.70, 113–124 (1958).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Friedberg, R. The uniqueness of finite division for recursive equivalence types. Math Z 75, 3–7 (1961). https://doi.org/10.1007/BF01211004
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01211004