The uniqueness of finite division for recursive equivalence types

DOI10.1007/BF01211004zbMath0093.01203OpenAlexW1995877523MaRDI QIDQ772221

Richard M. Friedberg

Publication date: 1961

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/169898

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items (4)

Solution of a problem of R. Friedberg ⋮ Myhill's work in recursion theory ⋮ Additive relations among recursive equivalence types ⋮ Universal isols

Cites Work

• Congruences in isols with a finite modulus

This page was built for publication: The uniqueness of finite division for recursive equivalence types