Computable algebra, general theory and theory of computable fields.
Michael O. Rabin · Transactions of the American Mathematical Society · 1960
algebra is the product of a transition from such concrete systems as the ring of integers or the field of rational numbers to the corresponding, axiomatically defined, abstract systems.In the course of this abstraction process various properties of the concrete system are lost.The field of rational numbers, for example, possesses a natural topology, an ordering, and furthermore the field operations, that is addition and multipli-