Abstract
In [1] it is proved that for real closed fields the output sets (of computing machines) are also input sets. In this work it is shown that the converse holds for a class of ordered fields. It follows that the uncountable subfields of R are real closed if and only if their output sets are also input sets. Similar results for unordered fields of characteristic 0 are obtained.
Get full access to this article
View all access options for this article.