As title asks, what is necessary and/or sufficient requirement for a subring of a field to be a computable ring?Conditions on either field or subring are fine.
What is necessary and/or sufficient requirement for a subring of a field to be computable?
computability;algebra;comp number theory