Topological difference posets
An ordered field is a field which has a linear order and the order topology by this order. For a subfield of an ordered field, we give characterizations for to be Dedekind-complete or Archimedean in terms of the order topology and the subspace topology on .
In this paper a characterization of the topologies on a l-group arising from a CTRO (T-topologies) is given. We use it to find conditions under which the Redfield topology comes from a CTRO.