Embedding Countable Rings in 2-Generator Rings
recursively enumerable set of defining relations
scientific article