๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The uniqueness of finite division for recursive equivalence types

โœ Scribed by Richard Friedberg


Publisher
Springer-Verlag
Year
1961
Tongue
French
Weight
181 KB
Volume
75
Category
Article
ISSN
0025-5874

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


For Groups the Property of Having Finite
โœ ROBERT CREMANNS; FRIEDRICH OTTO ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 694 KB

The homological finiteness property F P 3 and the combinatorial property of having finite derivation type are both necessary conditions for finitely presented monoids to admit finite convergent presentations. For monoids in general, the property of having finite derivation type implies the property