Valuation theoretic content of the Marker-Steinhorn theorem

The Marker-Steinhorn Theorem (cf. [2] and [3]), says the following. If T is an o-minimal theory and M ≺ N is an elementary extension of models of T such that M is Dedekind complete in N, then for every N-definable subset X of Nk, the trace X ∩ Mk is M-definable. The original proof in [2] gives an explicit method how to construct a defining formula of X ∩ Mk out of a defining formula of X. A geometric reformulation of the Marker-Steinhorn Theorem is the definability of Hausdorff limits of families of definable sets. An explicit construction of these Hausdorff limits for expansions of the real field has recently been achieved in [1]. Both proofs and also the treatment [3] are technically involved.Here we give a short algebraic, but not constructive proof, if T is an expansion of real closed fields. In fact we'll identify the statement of the Theorem with a valuation theoretic property of models of T (namely condition (†) below). Therefore our proof might be applicable to other elementary classes which expand fields, if a notion of dimension and a reasonable valuation theory are available.From now on, let T be an o-minimal expansion of real closed fields. We have to show the following (cf. [2], Th. 2.1. for this formulation). If M is a model of T and p is a tame n-type over M (i.e., M is Dedekind complete in M ⟨ᾱ⟩ := dcl(Mᾱ) for some realization ᾱ of p), then p is a definable type (cf. [4], 11 .b).