ON THE CHARACTERIZATION OF INPUT SETS AS OUTPUT SETS
Kostas Skandalis · Fundamenta Informaticae · 1994
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.