Abstract:
We prove the negativity of separable enumerations of division rings and establish that the effective embeddability of a commutative integral domain in a separably enumerated field is equivalent to its negativity.
Keywords:enumerated algebras and morphisms, topological enumerated algebra, separable enumerations of division rings, locally positive and negatives groups, effective embeddability of rings into fields.